Tableau systems for first order number theory and certain higher order theories
Toledo, Sue
Tableau systems for first order number theory and certain higher order theories Sue Toledo - - Springer-Verlag, Berlin 1975 - - Lecture Notes in Mathematics, No.0447 .
Lecture Notes in Mathematics
R LNM.0447
Tableau systems for first order number theory and certain higher order theories Sue Toledo - - Springer-Verlag, Berlin 1975 - - Lecture Notes in Mathematics, No.0447 .
Lecture Notes in Mathematics
R LNM.0447