Refine your search
Availability
-
Authors
- Franzen, Torkel. (1)
- Goldstern, Martin. (1)
- Judah, H. (1)
-
Holding libraries
-
Item types
- Main Collection (1)
-
Topics
- G©œdel's theorem (1)
- Gödel's theorem (1)
- Incompleteness theor... (2)
- Proof theory. (1)