Tableau Systems for First Order Number Theory and Certain Higher Order Theories
Publisher: Springer Berlin / Heidelberg
Published: 1975
Language: eng
Number of pages: 348
ISBN-13: 9783540071495
Subjects: Number theory