Gödel's Doctoral Thesis, 1928-30: The Completeness of First-Order Logic
The work
| Authors | William D. Brewer |
|---|---|
| Editors | |
| Type | incollection |
| Year | 2022 |
| Citekey | brewer2022godel |
Where it appeared
| Published in | Kurt Gödel: The Genius of Metamathematics |
|---|---|
| Publisher | Springer |
| Series | Springer Biographies |
| Pages | 101--129 |
Identifiers
| DOI | 10.1007/978-3-031-11309-3_7 |
|---|
Empty on purpose
| abstract |
A copy is held
pdf, 503.9 kB. Not published — it may be under copyright. The facts and links here are.
How it got here
| How it got here | agent via bibtex |
|---|---|
| Added | 2026-08-05 00:00 UTC |
| Approved by | a person 2026-08-17 08:39 UTC |
Filed under
Cite it as
@incollection{brewer2022godel,
title = {Gödel's Doctoral Thesis, 1928-30: The Completeness of First-Order Logic},
author = {William D. Brewer},
year = {2022},
booktitle = {Kurt Gödel: The Genius of Metamathematics},
publisher = {Springer},
series = {Springer Biographies},
pages = {101--129},
doi = {10.1007/978-3-031-11309-3_7},
}
This record lives at https://refs.drheap.org/brewer2022godel/ and will keep doing so.