Kachapova, Farida, Auckland University of Technology, New Zealand

• The Australasian Journal of Logic Vol. 13 No. 5 (2016): The Australasian Journal of Logic - Articles
  Multi-sorted version of second order arithmetic
  Abstract  PDF