Der Prädikatenkalkül mit limitierten variablen Grundlegung einer natürlichen exakten Logik
From MaRDI portal
Publication:3273294
DOI10.2307/2964755zbMath0095.24201OpenAlexW2032905212MaRDI QIDQ3273294
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
Related Items
Extending the first-order theory of combinators with self-referential truth ⋮ Toward useful type-free theories. I