ISBN-13: 9783486472011 / Niemiecki / Twarda / 1969 / 494 str.
Gerade heute, wo sich die Aufmerksamkeit der fuhrenden Philosophen, Logiker und Mathematiker erneut auf die Grundlagen der systematisch-deduktiven Mathematik richtet, ist dieses Buch von zeitnaher und tiefer Bedeutung.