Tableau systems for first order number theory and certain higher order theories
Toledo S
Tableau systems for first order number theory and certain higher order theories - Berlin Springer-Verlag 1975 - 339p. cm. - Lecture notes in mathematics; 447 .
21353
Textual
B13, L5
Tableau systems for first order number theory and certain higher order theories - Berlin Springer-Verlag 1975 - 339p. cm. - Lecture notes in mathematics; 447 .
21353
Textual
B13, L5
