Subsystems of second order arithmetic

Bibliographische Detailangaben

1. Verfasser:	Simpson, Stephen G. 1945- (VerfasserIn)
Format:	Buch
Sprache:	German
Veröffentlicht:	Cambridge Cambridge Univ. Press 2009
Ausgabe:	2nd ed.
Schriftenreihe:	Perspectives in logic
Schlagworte:	Predicate calculus Mathematik Mathematische Logik Grundlage Axiomatik
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!