Undecidability of first-order logic
The work
| Authors | Guram Bezhanishvili; Lawrence S. Moss |
|---|---|
| Editors | |
| Type | misc |
| Year | 2009 |
| Citekey | bezhanishvili2009undecidability |
Where it appeared
| Publisher | New Mexico State University |
|---|---|
| Series | Historical Projects in Discrete Mathematics and Computer Science |
| Pages | 1--26 |
Settled
| Abstract | No abstract: the document goes from its title block to a table of contents. Leaf 1 runs 'Undecidability of First-Order Logic', the bylines 'Guram Bezhanishvili' and 'Lawrence S. Moss' with footnote markers, and then 'Contents / 1 Introduction / 2 Background from Logic / 2.1 A signature for lines...'. It is a teaching project of the kind that carries a contents page where a paper would carry an abstract. Established by reading the copy. |
|---|
A copy is held
pdf, 256.4 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
@misc{bezhanishvili2009undecidability,
title = {Undecidability of first-order logic},
author = {Guram Bezhanishvili and Lawrence S. Moss},
year = {2009},
publisher = {New Mexico State University},
series = {Historical Projects in Discrete Mathematics and Computer Science},
pages = {1--26},
}
This record lives at https://refs.drheap.org/bezhanishvili2009undecidability/ and will keep doing so.