Login

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Church, Alonzo, The Calculus of Lambda-Conversion (1941)
Church, Alonzo, On Carnap's Analysis of Statments of Assertion and Belief (1950)
Church, Alonzo, The Weak Theory of Implication (1951)
Church, Alonzo, Tablas de Verdad no Normales Para el Calculo Proposicional (1953)
Church, Alonzo, Some Examples of Strongly Non-Normal Characteristic Systems of Truth-Tables for the Propositional Calculus (1954)
Church, Alonzo, The Euclidean Parallel Postulate (1956)
Church, Alonzo, Application of Recursive Arithmetic to the Problem of Circuit Synthesis (1957)
Church, Alonzo, Application of Recursive Arithmetic in the Theory of Computers and Automata (1958)
Church, Alonzo, Bibliography - Alonzo Church (1960)
Church, Alonzo, Logic and Analysis (1960)