S.A. Toledo

Tableau Systems for First Order Number Theory and Certain Higher Order Theories - 1975 - Heidelberg Springer Berlin 1975 - Monograph - Lecture Notes in Mathematics v.447 .

9783540374428


Mathematics and Statistics