Logik

Dieses Werk ist ein kompaktes Werk über Logik, Formalismus und Intuitionismus, kurz gesagt über die Philosophie der Mathematik. Dieses Buch ist kompakt und prägnant und gleichzeitig umfassend. Man sollte dieses Buch nicht nur wegen seiner historischen Bedeutung lesen, sondern auch wegen der Einblicke in die Funktionsweise des Logizismus, Formalismus und Intuitionismus, insbesondere im Hinblick auf die Natur der Axiome sowie auf die komplizierte Beziehung des Logizismus zum Formalismus und Intuitionismus.