Predicate logics of expressively strong theories (Q1582839)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Predicate logics of expressively strong theories |
scientific article; zbMATH DE number 1517560
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Predicate logics of expressively strong theories |
scientific article; zbMATH DE number 1517560 |
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
