Tableau systems for first order number theory and certain higher order theories

Tableau systems for first order number theory and certain higher order theories
von Toledo, Sue
Berlin, Heidelberg, New York : Springer
9783540071495
Jahr: 1975
339 Seiten
Broschiert
Bestellnummer: 2206349

Beschreibung
Das hier angebotene Buch stammt aus einer teilaufgelösten Bibliothek und kann die entsprechenden Kennzeichnungen aufweisen (Rückenschild, Instituts-Stempel...) - der Buchzustand ist ansonsten ordentlich und dem Alter entsprechend gut. In ENGLISCHER Sprache.