On languages with two variables
- 1 January 1975
- journal article
- research article
- Published by Wiley in Mathematical Logic Quarterly
- Vol. 21 (1) , 135-140
- https://doi.org/10.1002/malq.19750210118
Abstract
No abstract availableThis publication has 2 references indexed in Scilit:
- Provability with finitely many variablesProceedings of the American Mathematical Society, 1971
- An application of games to the completeness problem for formalized theoriesFundamenta Mathematicae, 1960