Galoyan, Tigran M., Institute for Informatics and Automation Problems, National Academy of Sciences, Yerevan, Armenia

• The Australasian Journal of Logic Vol. 5 (2007): Australasian Journal of Logic - Articles
  Reduction in first-order logic compared with reduction in implicational logic
  Abstract  PDF