Edited in collaboration with FoLLI, the Association of Logic, Languageand Information this book c...
The logician Kurt Gödel (1906-1978) published a paper in 1931 formulating what have come to be kn...
This Element takes a deep dive into Gödel's 1931 paper giving the first presentation of the Incom...
This volume features more than 20 essays that explore the work of one of the most important conte...
A collection of remarkable papers from various areas of mathematical logic, written by outstandin...
The logician Kurt Gödel (1906-1978) published a paper in 1931 formulating what have come to be kn...
In this book Juliette Kennedy presents an original perspective on foundations of mathematics. Dep...
In this book Juliette Kennedy presents an original perspective on foundations of mathematics. Dep...