No label defined (Q4731182)
From MaRDI portal
scientific article; zbMATH DE number 4116521
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 4116521 |
Statements
1989
0 references
finitary inductive system
0 references
inductive closure conditions
0 references
languages
0 references
axiomatic theory
0 references
conservative extension of primitive recursive arithmetic
0 references
Gödel's incompleteness theorems
0 references
formalization of metamathematics
0 references
computer implementation of logics
0 references
