Axiom Schemes for m-Valued Functional Ca
โ
Review by: Burton Spencer Dreben
๐
Article
๐
1950
๐
Association for Symbolic Logic
๐
English
โ 350 KB