Télécharger le livre :  Mathematical Logic in Vienna
Ajouter à ma liste d'envies
This book is a record of a seminar on mathematical logic Kurt Gödel and Hans Hahn held in Vienna in 1931-32. The seminar proceedings, given in English translation, are a unique witness of the state of research in logic and foundations of mathematics right after...

Editeur : Springer
Parution : 2024-12-31
Collection : Vienna Circle Institute Library
PDF

116,04
Télécharger le livre :  Kurt Gödel: Collected Works: Volume V
Ajouter à ma liste d'envies
Kurt Gödel (1906 - 1978) was the most outstanding logician of the twentieth century, famous for his hallmark works on the completeness of logic, the incompleteness of number theory, and the consistency of the axiom of choice and the continuum hypothesis. He is also...

Editeur : OUP Oxford
Parution : 2014-01-09

PDF

83,97
Télécharger le livre :  Kurt Gödel: Collected Works: Volume IV
Ajouter à ma liste d'envies
Kurt Gödel (1906 - 1978) was the most outstanding logician of the twentieth century, famous for his hallmark works on the completeness of logic, the incompleteness of number theory, and the consistency of the axiom of choice and the continuum hypothesis. He is also...

Editeur : OUP Oxford
Parution : 2014-01-09

PDF

68,14