-
EbookSofort lieferbarKurt Gödel (19061978) shook the mathematical world in 1931 by a result that has become an icon of...
-
EbookSofort lieferbar
Paris of the year 1900 left two landmarks: the Tour Eiffel, and David Hilbert's celebrated...
-
EbookSofort lieferbar
This volume contains English translations of Gödel's chapters on logicism and the antinomies a...
-
EbookSofort lieferbar
The information age owes its existence to a little-known but crucial development, the theoretical...
-
EbookSofort lieferbar
Gerhard Gentzen is best known for his development of the proof systems of natural deduction and s...
-
EbookSofort lieferbar
Kurt Gödel (1906-1978) gained world-wide fame by his incompleteness theorem of 1931. Later, he...
-
EbookSofort lieferbar
In the summer of 1928, Kurt Gödel (1906¿1978) embarked on his logical journey that would bri...
-
EbookSofort lieferbar
This book is a record of a seminar on mathematical logic Kurt Gödel and Hans Hahn held in Vien...
- 1