Constructive Versions of Ordinal Number
โ
Review by: Wayne Richter
๐
Article
๐
1966
๐
Association for Symbolic Logic
๐
English
โ 309 KB