Grundlagen ohne Fundamentalismus: Ein Fall für Logik zweiter Ordnung [Taschenbuch]
56,59 €
The central contention of this book is that second-order logic has a central role to play in laying the foundations of mathematics. He goes on to demonstrate the prevalence of second-order concepts in mathematics and the extent to which mathematical ideas can be formulated in higher-order logic.
Jetzt bei Ebay: