- Author: Nigel J. Cutland, Mauro Di Nasso, David A Ross
- Language: English
- Year: 2017
- Author: Peter Cholak (editor)
- Language: English
- Year: 2005
- Author: Peter Cholak
- Language: English
- Year: 2017
- Author: Per Lindström
- Language: English
- Year: 2017
Gödel '96: Logical Foundations of Mathematics, Computer Science and Physics - Kurt Gödel's Legacy
pdf
- Author: Petr Hájek (editor)
- Language: English
- Year: 2017
- Author: John R. Steel
- Language: English
- Year: 2017
- Author: Peter Cholak
- Language: English
- Year: 2017
Recursion Theory
pdf
- Author: Joseph R. Shoenfield
- Language: English
- Year: 2017
- Author: William J. Mitchell John R. Steel
- Language: English
- Year: 2017