A homogeneous system for formal logic
From MaRDI portal
Publication:5834313
DOI10.2307/2267976zbMath0060.02105OpenAlexW2041273376MaRDI QIDQ5834313
Publication date: 1943
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2267976
Related Items
Why Predicative Sets?, Analysis in a formal predicative set theory, Applicable Mathematics in a Minimal Computational Theory of Sets, The middle ground-ancestral logic, WEYL REEXAMINED: “DAS KONTINUUM” 100 YEARS LATER, Integrating induction and coinduction via closure operators and proof cycles
Cites Work