Tableau Systems for First Order Number Theory and Certain Higher Theories
Toledo, Sue
Tableau Systems for First Order Number Theory and Certain Higher Theories Sue Toledo - Berlin, Heidelberg, New York Springer Verlag 1975 - 337 p 24 cm - Lecture notes in mathematics 447 .
Contine bibliogr
eng
3540071490
0387071490
510.8
Tableau Systems for First Order Number Theory and Certain Higher Theories Sue Toledo - Berlin, Heidelberg, New York Springer Verlag 1975 - 337 p 24 cm - Lecture notes in mathematics 447 .
Contine bibliogr
eng
3540071490
0387071490
510.8