scientific article; zbMATH DE number 3062918

zbMATH Open0041.35202MaRDI QIDQ5802127

L. Kalmár

Publication date: 1950

Title of this publication is not available (Why is that?)

zbMATH Keywords

Gödel-Rosser incompletability theorem

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Related Items (2)

On Rosser's Provability Predicate ⋮ Rosser provability and the second incompleteness theorem

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5802127)