Church, Alonzo, 1903-1995
![Sudoc [ABES], France](/viaf/images/flags/SUDOC.png "Sudoc [ABES], France")
Church, Alonzo
Alonzo Church
Church, Alonzo, 1903-
VIAF ID: 109830754 (Personal)
Permalink: //viaf.org/viaf/109830754
ISNI: 0000 0001 1003 8502
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
(sparse)
-
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 (36)
Works
| Title | Sources |
|---|---|
| Ab urbe condita. |
|
| Alternatives to Zermelo's assumption |
|
| A bibliography of symbolic logic |
|
| The calculi of lambda-conversion |
|
| Church's Thesis after seventy years |
|
| The collected works of Alonzo Church, 2004: |
|
| Elementary topics in mathematical logic : a lecture given et the Galois Institute of Mathematics at Long Island University |
|
| Elementy historii powstania "Tezy Churcha" / Adam Olszewski. W: Tarnowskie Studia Teologiczne. T. 19 [z.] 1, (2000) |
|
| 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 |
|
| New essays on the knowability paradox |
|
| A note on the Entscheidungsproblem |
|
| Philosophie mathématique |
|
| Potreba za apstraktnim entitetima... / Alonzo Church. // Scopus : časopis Hrvatskih studija za filozofiju. Zagreb, 2001. |
|
| The problem of universals |
|
| Roman history |
|
| Schröder's anticipation of the simple theory of types |
|
| Le test de traduction de Church. (S.d.) |
|
| An unsolvable problem of elementary number theory |
|
| Úvod do matematické logiky : kap. O : (úvod : pomocný učeb. text) |
|
| Vvedenie v matematičeskuû logiku. |
|
| Works. |
|
| Введение в математическую логику 1 |
|
