No label defined (Q4695326)
From MaRDI portal
scientific article; zbMATH DE number 204999
Language | Label | Description | Also known as |
---|---|---|---|
English | No label defined |
scientific article; zbMATH DE number 204999 |
Statements
17 June 1993
0 references
theory
0 references
metatheory
0 references
classical logic
0 references
propositional logic
0 references
consequence relation
0 references
first-order calculus
0 references
set theory
0 references
relations
0 references
cardinal numbers
0 references
decidability
0 references
enumerability
0 references
recursivity
0 references
formal arithmetic
0 references
Gödel's theorems
0 references