A Formalization of the Theory of Ordinal
✍
Review by: Carol Karp
📂
Article
📅
1972
🏛
Association for Symbolic Logic
🌐
English
⚖ 364 KB