Predicate logics of expressively strong theories (Q1582839)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Predicate logics of expressively strong theories |
scientific article |
Statements
Predicate logics of expressively strong theories (English)
0 references
30 October 2001
0 references
Gödelian theory
0 references
predicate logic
0 references
expressively strong theory
0 references
first-order language
0 references
predicate language
0 references
atomic formula
0 references
Peano arithmetic
0 references
predicate calculus
0 references
