John of St. Thomas, Outline of Formal Lo
β
Review by: Alonzo Church
π
Article
π
1959
π
Association for Symbolic Logic
π
English
β 514 KB