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

Bibliographische Detailangaben

1. Verfasser:	Toledo, Sue Ann (VerfasserIn)
Format:	UnknownFormat
Veröffentlicht:	Berlin, Heidelberg usw. Springer 1975
Schriftenreihe:	(Lecture notes in mathematics 447)
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!