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 |
Empty on purpose
| abstract |
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 |
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.