A Reduction in the Number of Primitive I
β
John R. Myhill
π
Article
π
1950
π
Association for Symbolic Logic
π
English
β 147 KB