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

DOI10.2307/2268338zbMath0041.14903OpenAlexW2052093366MaRDI QIDQ5801331

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

Related Items (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