A Formal Theorem in Church's Theory of T
โ
Review by: Leon Henkin
๐
Article
๐
1942
๐
Association for Symbolic Logic
๐
English
โ 177 KB