scientific article; zbMATH DE number 3084368

zbMath0053.00601MaRDI QIDQ5823280

Georg Kreisel

Publication date: 1953

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

philosophy and foundations of mathematics

Related Items

A Fortuitous Year with Leon Henkin ⋮ Leon Henkin the Reviewer ⋮ The Henkin Sentence ⋮ The absorption law. Or: how to Kreisel a Hilbert-Bernays-Löb ⋮ Henkin sentences and local reflection principles for Rosser provability ⋮ Varieties of self-reference in metamathematics ⋮ Transductions in arithmetic ⋮ PROVING UNPROVABILITY ⋮ REFERENCE IN ARITHMETIC ⋮ Alethic reference