Die Vollständigkeit der Axiome des logischen Funktionenkalküls.

DOI10.1007/BF01696781zbMATH Open56.0046.04WikidataQ55871470 ScholiaQ55871470MaRDI QIDQ1828977

Kurt Gödel

Publication date: 1930

Published in: Monatshefte für Mathematik und Physik (Search for Journal in Brave)

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Related Items (3)

Adding a constant and an axiom to a doctrine ⋮ A naive prover for first-order logic: a minimal example of analytic completeness ⋮ Turnstile figures of opposition

This page was built for publication: Die Vollständigkeit der Axiome des logischen Funktionenkalküls.

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