Choice of Terms in Quantifier Rules of C
Choice of Terms in Quantifier Rules of Constructive Predicate Calculusby G. E. Mints; A. O. Slisenko
โ
Review by: J. van Heijenoort
๐
Article
๐
1971
๐
Association for Symbolic Logic
๐
English
โ 230 KB