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

Powered by Koha