, 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