Church, Alonzo, 1903-1995
Church, Alonzo
Alonzo Church
Church, Alonzo, 1903-
צ'רץ', אלונזו, 1903-1995
Church, Аlonzo 1903-1995
VIAF ID: 109830754 ( Personal )
Permalink: http://viaf.org/viaf/109830754
Preferred Forms
- 100 0 _ ‡a Alonzo Church
- 200 _ | ‡a Church ‡b Alonzo ‡f 1903-1995
-
- 100 1 _ ‡a Church, Alonzo
-
-
-
-
-
- 100 1 _ ‡a Church, Alonzo ‡d 1903-1995
-
-
- 100 1 _ ‡a Church, Alonzo, ‡d 1903-1995
-
-
-
- 100 1 _ ‡a Church, Alonzo, ‡d 1903-1995
-
- 100 1 _ ‡a Church, Alonzo, ‡d 1903-1995
- 100 1 _ ‡a Church, Alonzo, ‡d 1903-1995
-
4xx's: Alternate Name Forms (58)
5xx's: Related Names (1)
Works
Title | Sources |
---|---|
Alternatives to Zermelo's assumption ... | |
A bibliography of symbolic logic | |
The calculi of lambda-conversion | |
Carnap's introduction to semantics : a review of Rudolf Carnap's Introduction to semantics (Studies in semantics, volume I), Cambridge, Mass., Harvard University Press, 1942. Pp. xii, 263 | |
Church's Thesis after 70 years | |
The collected works of Alonzo Church | |
Conditioned disjunction as a primitive connective for the propositional calculus | |
Eighth meeting of the Association for Symbolic Logic | |
Elementary topics in mathematical logic : a lecture given et the Galois Institute of Mathematics at Long Island University | |
Elementy historii powstania "Tezy Churcha" | |
Fermat's last theorem | |
Formal definitions in the theory of ordinal numbers | |
A generalization of Laplace's transformation | |
Introduction to mathematical logic | |
Logic, meaning and computation : essays in memory of Alonzo Church | |
Mathematical logic : lectures : Princeton University, October 1935 - January 1936 | |
The need for abstract entities in semantics analysis | |
New essays on the knowability paradox | |
A note on the Entscheidungsproblem | |
On Carnap's analysis of statements of assertion and belief | |
Philosophie mathématique | |
Potreba za apstraktnim entitetima... | |
The problem of universals : a symposium | |
Propositions and sentences | |
Quine on logistic | |
Schröder's anticipation of the simple theory of types | |
A set of postulates for the foundation of logic. | |
Le test de traduction de Church. (S.d.) | |
The undecidable : basic papers on undecidable propositions, unsolvable problems and computable functions | |
An unsolvable problem of elementary number theory | |
Úvod do matematické logiky : kap. O : (úvod : pomocný učeb. text) | |
Vvedenie v matematičeskuû logiku. | |
Works. 2004 | |
Z. P. Dienes. On an implication function in many-valued systems of logic | |
Введение в математическую логику : 1 |