5 works Add another?
Sorted by:
Most Editions
|
First Published
|
Most Recent
|
Top Rated
|
Reading Log
|
Random
Showing all works by author. Would you like to see only ebooks?
Subjects
Congresses, Computer logic, Mathematics, Artificial intelligence, Automatic theorem proving, Computers, congresses, Goedel's theorem, Gödel's theorem, Logic, Logic programming, Logic, Symbolic and mathematic, Logic, Symbolic and mathematical, Logic, symbolic and mathematical, MATHEMATICS / Logic, Mathematical logic, Mathematics, philosophy, Philosophy, Science/Mathematics, Symbolic and mathematical LogicPeople
Kurt Gödel (1906-1978)ID Numbers
- OLID: OL3064484A
Links (outside Open Library)
No links yet. Add one?
April 30, 2008 | Created by an anonymous user | initial import |