Communiqués par S.a. Toledo

Cover for S.a. Toledo · Tableau Systems for First Order Number Theory and Certain Higher Order Theories - Lecture Notes in Mathematics (Paperback Book) (1975)
Paperback Book
1975 edition
Tableau Systems for First Order ...
S.a. Toledo