An Extension of Basic Logicby Frederic B
โ
Review by: S. C. Kleene
๐
Article
๐
1949
๐
Association for Symbolic Logic
๐
English
โ 406 KB