A survey of mathematical logic, part II: post-1931 (Q4715107)
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: A survey of mathematical logic, part II: post-1931 |
scientific article; zbMATH DE number 943655
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A survey of mathematical logic, part II: post-1931 |
scientific article; zbMATH DE number 943655 |
Statements
A survey of mathematical logic, part II: post-1931 (English)
0 references
16 December 1996
0 references
survey
0 references
Gödel incompleteness theorem
0 references
recursive functions
0 references
computability
0 references
nonstandard analysis
0 references
AC
0 references
GCH
0 references
