Church, Alonzo, 1903-1995
![Sudoc [ABES], France](/viaf/images/flags/SUDOC.png "Sudoc [ABES], France")
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
-
200 _ 1 ‡a Church ‡b Аlonzo ‡f 1903-1995
-
100 1 _
‡a
Church, Alonzo
-
100 1 _ ‡a Church, Alonzo
-
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-
-
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
-
100 1 _
‡a
Church, Alonzo,
‡d
1903-1995
-
100 1 _ ‡a Church, Alonzo, ‡d 1903-1995
4xx's: Alternate Name Forms (45)
Works
| Title | Sources |
|---|---|
| Ab urbe condita. |
|
| 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 |
|
| Quine on logistic |
|
| The Richard Paradox |
|
| Roman history |
|
| 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 |
|
