No label defined (Q5707890)
From MaRDI portal
scientific article; zbMATH DE number 2232435
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 2232435 |
Statements
25 November 2005
0 references
propositional logic
0 references
first-order logic
0 references
completeness
0 references
compactness
0 references
incompleteness and undecidability
0 references
definability
0 references
set theory
0 references
model theory
0 references
recursion theory
0 references
graduate textbook
0 references
