Über eine Art von Unvollständigkeit des Prädikatenkalküls der ersten Stufe

DOI10.2307/2268338zbMATH Open0041.14903OpenAlexW2052093366MaRDI QIDQ5801331FDOQ5801331

Authors: Gisbert Hasenjaeger 

Publication date: 1950

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2268338

zbMATH Keywords

Philosophy and foundations of mathematics

Cited In (2)

• Short resolution proofs for a sequence of tricky formulas
• Unabhängigkeitsbeweise in Teilsystemen der elementaren Zahlentheorie

This page was built for publication: Über eine Art von Unvollständigkeit des Prädikatenkalküls der ersten Stufe

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