Search

Your search keyword '"Alonzo Church"' showing total 28 results
Start Over Author "Alonzo Church" Journal the journal of symbolic logic
28 results on '"Alonzo Church"'

1. Peter Heath. Introduction. On the syllogism and other logical writings by Augustus De Morgan, edited, with an introduction by Peter Heath, Yale University Press, New Haven 1966, pp. vii–xxxi. - Peter Heath. Select bibliography. On the syllogism and other logical writings by Augustus De Morgan, edited, with an introduction by Peter Heath, Yale University Press, New Haven 1966, p. xxxi. - Augustus de Morgan. On the syllogism: I. On the structure of the syllogism. A reprint of 202 with omission of the portion (or separate paper) entitled and on the application of the theory of probabilities to questions of argument and authority. On the syllogism and other logical writings by Augustus De Morgan, edited, with an introduction by Peter Heath, Yale University Press, New Haven 1966, pp. 1–21. - Augustus de Morgan. On the syllogism: II. On the symbols of logic, the theory of the syllogism, and in particular of the copula. A reprint of 205 with omission of the portion (or separate paper) entitled and the application of the theory of probabilities to some questions of evidence. On the syllogism and other logical writings by Augustus De Morgan, edited, with an introduction by Peter Heath, Yale University Press, New Haven 1966, pp. 22–68. - Augustus de Morgan. Some suggestions in logical phraseology. On the syllogism and other logical writings by Augustus De Morgan, edited, with an introduction by Peter Heath, Yale University Press, New Haven 1966, pp. 69–73. (Reprinted from Proceedings of the Philological Society, 11 February 1853.) - Augustus de Morgan. On the syllogism: III. And on logic in general. Areprint of 205. On the syllogism and other logical writings by Augustus De Morgan, edited, with an introduction by Peter Heath, Yale University Press, New Haven 1966, pp. 74–146. - Augustus de Morgan. Syllabus of a proposed system of logic. A reprint of 204 with omission of paragraphs 227–243. On the syllogism and other logical writings by Augustus De Morgan, edited, with an introduction by Peter Heath, Yale University Press, New Haven 1966, pp. 147–207. - Augustus de Morgan. On the syllogism: IV. And on the logic of relations. A reprint of 20d and 207. On the syllogism and other logical writings by Augustus De Morgan, edited, with an introduction by Peter Heath, Yale University Press, New Haven 1966, pp. 208–246. - Augustus de Morgan. Logic. A reprint of XX 307(3) 'shortened and adapted to its present context, chiefly by the omission of obsolete bibliographical material.' On the syllogism and other logical writings by Augustus De Morgan, edited, with an introduction by Peter Heath, Yale University Press, New Haven 1966, pp. 247–270. - Augustus de Morgan. On the syllogism: V. And on various points of the onymatic system. A reprint of 208. On the syllogism and other logical writings by Augustus De Morgan, edited, with an introduction by Peter Heath, Yale University Press, New Haven 1966, pp. 271–345. - Augustus de Morgan. On the syllogism: VI. On quantity and location; on identity in relation to the syllogism; on the history of the mnemonic words, of the fourth figure, of logic at Cambridge, of the occult quality; on the triadic system of enunciation. On the syllogism and other logical writings by Augustus De Morgan, edited, with an introduction by Peter Heath, Yale University Press, New Haven 1966, pp. 346–347

Author

Alonzo Church

Subjects
Philosophy, Logic, Syllogism, Classics
Published
1976

7. Bolzano, Bernhard

Author

Alonzo Church and T. A. K. Kloyda

Subjects
Philosophy, Logic
Published
1975

8. Introductory Note

Author

Jean van Heijenoort, Willard Van Orman Quine, Alfred North Whitehead, Alonzo Church, and Bertrand Russell

Subjects
Philosophy, Logic
Published
1975

9. On Equivalence Relations

Author

W. T. Guy and Alonzo Church

Subjects
Philosophy, Transitive relation, Pure mathematics, Logic, Preorder, Equivalence relation, Adequate equivalence relation, Equivalence (measure theory), Mathematics
Published
1956

13. Existence and Description in Formal Logic

Author

Alonzo Church, Ralph Schoenman, and Dana Scott

Subjects
Discrete mathematics, Predicate logic, Philosophy, Proof calculus, Philosophy of logic, Description logic, Logic, Computer science, Classical logic, Computational logic, Calculus, Dynamic logic (modal logic), Autoepistemic logic
Published
1973

16. Prefatory statement to the index volume

Author

Alonzo Church

Subjects
Philosophy, Index (economics), History, Logic, Statement (logic), Library science, Cover (algebra), Volume (compression)
Abstract

Volume 26 of the Journal will appear in two parts, of which this is Part 1, and will be devoted entirely to indexes covering Volumes 1–25. This part contains an Index of contributed papers, by authors (including problems); an Index of abstracts, by authors; an Index of reviews by authors (i.e., by authors of the works reviewed); and an Index of reviewers. It is planned to devote Part 2 to an Index of reviews by subjects — which, unlike the other indexes of reviews, will cover also the material in A bibliography of symbolic logic — and to a Chronological index of reviews, designed to supply in brief summary the actual bibliographical references for items which are reviewed or listed in the review sections of Volumes 1–25.

Published
1961

17. The Design of Switching Circuits

Author

Alonzo Church, William Keister, Alistair E. Ritchie, Seth H. Washburn, and John Meszar

Subjects
Philosophy, Logic
Published
1953

18. Learning Theory and Culture

Author

Donald J. Lewis, Omar Khayyam Moore, and Alonzo Church

Subjects
Philosophy, Logic, Learning theory, Mathematics education, Psychology, Experiential learning
Published
1959

20. A Relay Machine for the Demonstration of Symbolic Logic

Author

W. Mays, Alonzo Church, and D. G. Prinz

Subjects
Mathematical logic, Philosophy, Relay logic, Theoretical computer science, Logic, Computer science, Relay, law, Symbolic trajectory evaluation, Ladder logic, A Symbolic Analysis of Relay and Switching Circuits, Logic optimization, law.invention
Published
1950

21. Studia Philosophica

Author

Alonzo Church and Daniela Gromska

Subjects
Philosophy, Logic
Published
1953

23. Some Laws of the Calculus of Quantifiers

Author

Alonzo Church and Ivo Thomas

Subjects
Philosophy, Logic, Prenex normal form, Zeroth-order logic, Bounded quantifier, Calculus, Mathematics
Published
1950

25. Astounding Science Fiction

Author

C. Kim-Bradley and Alonzo Church

Subjects
Philosophy, Logic, Computer science
Published
1952

Catalog

Books, media, physical & digital resources
See catalog results