VIAF

Virtual International Authority File

Search

Church, Alonzo, 1903-1995 National Library of the Czech Republic National Library of the Netherlands National Library of Australia Sudoc [ABES], France NUKAT Center of Warsaw University Library National Library of Sweden National Library of Poland ISNI National Library of France National Library of Israel Swiss National Library Library of Congress/NACO German National Library

Church, Alonzo National and University Library in Zagreb BIBSYS NII (Japan)

Alonzo Church Wikidata

Church, Alonzo, 1903- National Library and Archives of Québec

VIAF ID: 109830754 (Personal)

Permalink: //viaf.org/viaf/109830754

ISNI: 0000  0001  1003  8502 

Open Section Close Section Preferred Forms

 

 

 

 

Open Section Close Section 4xx's: Alternate Name Forms (36)

Open Section Close SectionWorks

Title Sources
Ab urbe condita. National Library of Israel
Alternatives to Zermelo's assumption National Library of France Library of Congress/NACO National Library of Poland
A bibliography of symbolic logic National Library of the Netherlands Sudoc [ABES], France BIBSYS National Library of Australia National Library of Israel Library of Congress/NACO
The calculi of lambda-conversion National Library of the Netherlands Sudoc [ABES], France BIBSYS NUKAT Center of Warsaw University Library Library of Congress/NACO
Church's Thesis after seventy years Sudoc [ABES], France
The collected works of Alonzo Church, 2004: National Library of Israel National Library of Sweden National Library of Australia Library of Congress/NACO
Elementary topics in mathematical logic : a lecture given et the Galois Institute of Mathematics at Long Island University NUKAT Center of Warsaw University Library
Elementy historii powstania "Tezy Churcha" / Adam Olszewski. W: Tarnowskie Studia Teologiczne. T. 19 [z.] 1, (2000) National Library of Poland
Fermat's last theorem Library of Congress/NACO
Formal definitions in the theory of ordinal numbers National Library of Poland
A generalization of Laplace's transformation National Library of the Netherlands
Introduction to mathematical logic xR Extended Relationships National Library of the Netherlands BIBSYS Sudoc [ABES], France National and University Library in Zagreb NUKAT Center of Warsaw University Library National Library of Sweden National Library of France Library of Congress/NACO
Logic, meaning and computation : essays in memory of Alonzo Church National Library of the Netherlands National Library of Sweden Library of Congress/NACO
New essays on the knowability paradox BIBSYS
A note on the Entscheidungsproblem BIBSYS
Philosophie mathématique National Library of the Netherlands National Library of France NUKAT Center of Warsaw University Library
Potreba za apstraktnim entitetima... / Alonzo Church. // Scopus : časopis Hrvatskih studija za filozofiju. Zagreb, 2001. National and University Library in Zagreb
The problem of universals National Library of the Netherlands BIBSYS
Roman history National Library of Israel
Schröder's anticipation of the simple theory of types BIBSYS
Le test de traduction de Church. (S.d.) National Library and Archives of Québec
An unsolvable problem of elementary number theory BIBSYS
Úvod do matematické logiky : kap. O : (úvod : pomocný učeb. text) National Library of the Czech Republic
Vvedenie v matematičeskuû logiku. Sudoc [ABES], France NUKAT Center of Warsaw University Library
Works. xR Extended Relationships
Введение в математическую логику 1 Sudoc [ABES], France

Open Section Close Section Selected Co-authors

Open Section Close Section Countries and Regions of Publication (10)

Open Section Close Section Publication Statistics

Open Section Close Section Selected Publishers (11)

Open Section Close Section About

Open Section Close Section History of VIAF ID:109830754 (22)