Church, Alonzo, 1903-1995
Church, Alonzo
Alonzo Church
Church, Alonzo, 1903-
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
-
100 1 _ ‡a Church, Alonzo, ‡d 1903-1995
4xx's: Alternate Name Forms (47)
Works
Title | Sources |
---|---|
Alternatives to Zermelo's assumption ... |
![]() ![]() ![]() |
A bibliography of symbolic logic |
![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() |
Book Review: Foundations of Logic and Mathematics |
![]() |
Book Review: Mathematische Grundlagenforschung. Intuitionismus. Beweistheorie |
![]() |
The calculi of lambda-conversion |
![]() ![]() ![]() ![]() ![]() ![]() ![]() |
Church's Thesis after 70 years |
![]() |
The collected works of Alonzo Church |
![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() |
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 |
![]() |
The Inconsistency of Certain Formal Logics |
![]() |
Introduction to mathematical logic |
![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() |
Logic, meaning, and computation : essays in memory of Alonzo Church |
![]() ![]() ![]() |
Mathematical logic : lectures : Princeton University, October 1935 - January 1936 |
![]() ![]() |
Matijasevič Yu. V.. Diophantine representation of recursively enumerable predicates. Actes du Congrès International des Mathématiciens 1970, Gauthier-Villars, Paris 1971, Vol. 1, pp. 235–238 |
![]() |
New essays on the knowability paradox |
![]() |
A note on the Entscheidungsproblem |
![]() ![]() |
On Carnap's Analysis of Statements of Assertion and Belief |
![]() |
On the concept of a random sequence |
![]() |
Philosophie mathématique |
![]() ![]() ![]() |
Potreba za apstraktnim entitetima... |
![]() |
The problem of universals : a symposium |
![]() ![]() |
Quine on logistic |
![]() |
The Richard Paradox |
![]() |
Schröder's anticipation of the simple theory of types |
![]() ![]() |
A set of postulates for the foundation of logic. |
![]() ![]() |
Some Properties of Conversion |
![]() |
Special Cases of the Decision Problem |
![]() |
Le test de traduction de Church. (S.d.) |
![]() ![]() |
Uniqueness of the Lorentz Transformation |
![]() |
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 |
![]() |
Введение в математическую логику : 1 |
![]() |