Systems of transfinite types involving λ-conversion

DOI10.2307/2267404zbMath0053.20302OpenAlexW1516585209MaRDI QIDQ5822070

Maurice L'Abbé

Publication date: 1953

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

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

zbMATH Keywords

philosophy and foundations of mathematics

Related Items (1)

Higher-order algebra with transfinite types

Cites Work

• Einige Betrachtungen über die Begriffe der ω-Widerspruchsfreiheit und der ω-Vollständigkeit
• On undecidable statements in enlarged systems of logic and the concept of truth

This page was built for publication: Systems of transfinite types involving λ-conversion