Born | 1942 |
23 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?
Born | 1942 |
Subjects
Symbolic and mathematical Logic, Logic, Logic, Symbolic and mathematical, Logic, symbolic and mathematical, Modality (Logic), Automatic theorem proving, Proof theory, Computable functions, Data structures (Computer science), God, Intuitionistic mathematics, Many-valued logic, Ontological Proof, Recursive functions, Religion, Set theory, Artificial Intelligence (incl. Robotics), Axiomatic set theory, Computational linguistics, Computer Science, Computer science, Continuum hypothesis, Contributions in ontological proof of existence of God, Electronic digital computers, Extraction (chemistry)People
Kurt Gödel (1906-1978)ID Numbers
- OLID: OL234438A
Links (outside Open Library)
No links yet. Add one?
Alternative names
- M. Fitting
- M. C. Fitting
February 15, 2023 | Edited by bitnapper | merge authors |
September 6, 2008 | Edited by RenameBot | fix author name |
April 1, 2008 | Created by an anonymous user | initial import |