Wainwright, Jonathan Mayhew, Potts, George, Richmond, James Cook,
... anti-sectarian" is James Cook Richmond. Cf. Potter, Alonzo. No church without a bishop (1845), p. 4. Signed (p. ...
0000 - Gale Group | Sabin
... of Statements of Assertion and Belief Get access Alonzo Church Alonzo Church Princeton University Search for other works by this ...
Tópico(s): Philosophy and Theoretical Science
1950 - Oxford University Press | Analysis
"The first and second part of this response appeared originally in The Presbyterian. The second part has been extended, and the third added, for this ...
0000 - Gale Group | Sabin
... of Statements of Assertion and Belief Get access Alonzo Church Alonzo Church Princeton University Search for other works by this ...
Tópico(s): Philosophy and Theoretical Science
1950 - Oxford University Press | Analysis
Book.
0000 - Gale Group | Sabin
Angelo Margaris, Alonzo Church,
... used in the individual steps of a proof. Alonzo Church was a pioneer in the field of mathematical ...
Tópico(s): Computability, Logic, AI Algorithms
1957 - Taylor & Francis | American Mathematical Monthly
Book.
0000 - Gale Group | Sabin Dec 2012
Alonzo Church. Propositions and sentences. The problem of universals, A symposium, University of Notre Dame Press, Notre Dame, ...
Tópico(s): Language and Culture
1957 - Cambridge University Press | Journal of Symbolic Logic
Includes bibliographical references. Book.
0000 - Gale Group | Sabin
§0 . Alonzo Church's contributions to philosophy and to that most philosophical part of logic, intensional logic, are impressive indeed. ...
Tópico(s): Medieval and Classical Philosophy
1998 - Cambridge University Press | Bulletin of Symbolic Logic
... J ournal included a Reviews Section, edited by Alonzo Church. The very first issue carried three pages of ...
Tópico(s): Philosophy and Theoretical Science
1998 - Cambridge University Press | Bulletin of Symbolic Logic
Book.
0000 - Gale Group | Sabin
This paper is dedicated to Alonzo Church, who died in August 1995 after a long life devoted to logic. To Church we owe lambda calculus, the thesis bearing ...
Tópico(s): Logic, Reasoning, and Knowledge
1997 - Taylor & Francis | History and Philosophy of Logic
Book.
0000 - Gale Group | Sabin
Alonzo Church. Logic, arithmetic, and automata. Proceedings of the International Congress of Mathematicians, 15–22 August 1962, Institut ...
Tópico(s): Algorithms and Data Compression
1964 - Cambridge University Press | Journal of Symbolic Logic
Stevens, William Bacon, Potter, Alonzo,
"Published by request of the Society." Book.
0000 - Gale Group | Sabin
Alonzo Church. Application of recursive arithmetic to the problem of circuit synthesisSummaries of talks presented at the Summer ...
Tópico(s): Cryptographic Implementations and Security
1963 - Cambridge University Press | Journal of Symbolic Logic
"For private distribution." Book.
0000 - Gale Group | Sabin
Haskell B. Curry, William Lane Craig,
Alonzo Church. The weak theory of implication. Kontrolliertes Denken, Untersuchungen zum Logikkalkül unci zur Logik der Einzelwissenschaften, rotaprint, ...
Tópico(s): Philosophy, Science, and History
1953 - Cambridge University Press | Journal of Symbolic Logic
Book.
0000 - Gale Group | Sabin
Haskell B. Curry, William Lane Craig,
Alonzo Church. The weak theory of implication. Kontrolliertes Denken, Untersuchungen zum Logikkalkiil unci zur Logik der Einzelwissenschaften, rotaprint, ...
Tópico(s): Philosophy, Science, and History
1953 - Cambridge University Press | Journal of Symbolic Logic
"For private distribution." Book.
0000 - Gale Group | SAS Part 1
B. Jack Copeland, Oron Shagrir,
... Turing thesis concerned computation as Alan Turing and Alonzo Church used the term in 1936--- human computation.
Tópico(s): Quantum Computing Algorithms and Architecture
2018 - Association for Computing Machinery | Communications of the ACM
Book.
0000 - Gale Group | Sabin
Abstract Alonzo Church's mathematical work on computability and undecidability is well-known indeed, and we seem to have an ...
Tópico(s): Philosophy and Theoretical Science
1997 - Cambridge University Press | Bulletin of Symbolic Logic
Title from caption. Signed (p. 26): "A. Phillips." Book.
0000 - Gale Group | Sabin backfiles 2011
Morris Lazerowitz, I. M. Bocheński, Alonzo Church, Nelson Goodman,
Tópico(s): History and Theory of Mathematics
1958 - Duke University Press | The Philosophical Review
Attributed to A.B. Chapin. Includes bibliographical references. Book.
0000 - Gale Group | Sabin backfiles 2011
1958 - Philosophy Documentation Center | The Journal of Philosophy