Der Prädikatenkalkül mit limitierten variablen Grundlegung einer natürlichen exakten Logik

DOI10.2307/2964755zbMath0095.24201OpenAlexW2032905212MaRDI QIDQ3273294

Heinrich Behmann

Publication date: 1959

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

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

zbMATH Keywords

philosophy and foundations of mathematics

Related Items

Extending the first-order theory of combinators with self-referential truth ⋮ Toward useful type-free theories. I