WorldCat Identities

Church, Alonzo 1903-1995

Overview
Works: 116 works in 406 publications in 5 languages and 3,718 library holdings
Genres: Bibliography 
Roles: Author, Contributor, Honoree, Dedicatee, Editor, Author of introduction, Collector
Classifications: BC135, 164
Publication Timeline
.
Most widely held works by Alonzo Church
Introduction to mathematical logic by Alonzo Church( Book )

125 editions published between 1944 and 1998 in 4 languages and held by 1,519 WorldCat member libraries worldwide

The calculi of lambda-conversion by Alonzo Church( Book )

54 editions published between 1941 and 2016 in English and Undetermined and held by 440 WorldCat member libraries worldwide

The book description for the forthcoming "The Calculi of Lambda Conversion. (AM-6)" is not yet available
Logic, meaning, and computation : essays in memory of Alonzo Church by C. Anthony Anderson( Book )

11 editions published in 2001 in English and held by 116 WorldCat member libraries worldwide

This volume began as a remembrance of Alonzo Church while he was still with us and is now finally complete. It contains papers by many well-known scholars, most of whom have been directly influenced by Church's own work. Often the emphasis is on foundational issues in logic, mathematics, computation, and philosophy - as was the case with Church's contributions, now universally recognized as having been of profound fundamental significance in those areas. The volume will be of interest to logicians, computer scientists, philosophers, and linguists. The contributions concern classical first-order logic, higher-order logic, non-classical theories of implication, set theories with universal sets, the logical and semantical paradoxes, the lambda-calculus, especially as it is used in computation, philosophical issues about meaning and ontology in the abstract sciences and in natural language, and much else. The material will be accessible to specialists in these areas and to advanced graduate students in the respective fields
Church's Thesis after 70 years by Adam Olszewski( Book )

3 editions published in 2006 in English and held by 83 WorldCat member libraries worldwide

Church's Thesis (CT) was first published by Alonzo Church in 1935. CT is a proposition that identifies two notions: an intuitive notion of a effectively computable function defined in natural numbers with the notion of a recursive function. Despite of the many efforts of prominent scientists, Church's Thesis has never been falsified. There exists a vast literature concerning the thesis. The aim of the book is to provide one volume summary of the state of research on Church's Thesis. These include the following: different formulations of CT, CT and intuitionism, CT and intensional mathematics
Introduction to mathematical logic by Alonzo Church( Book )

22 editions published between 1956 and 1994 in English and held by 64 WorldCat member libraries worldwide

Introduction to mathematical logic by Alonzo Church( Book )

17 editions published between 1956 and 1970 in English and Undetermined and held by 45 WorldCat member libraries worldwide

Mathematical logic : lectures by Alonzo Church( Book )

6 editions published between 1935 and 1936 in English and held by 40 WorldCat member libraries worldwide

A bibliography of symbolic logic, 1666-1935 by Alonzo Church( Book )

4 editions published in 1984 in English and held by 36 WorldCat member libraries worldwide

Philosophie mathématique by Ferdinand Gonseth( Book )

5 editions published in 1939 in French and held by 35 WorldCat member libraries worldwide

The Euclidean parallel postulate by Alonzo Church( Book )

4 editions published between 1936 and 1956 in English and held by 27 WorldCat member libraries worldwide

A generalization of Laplace's transformation : to Rolf Nevanlinna on his 70th birthday by Alonzo Church( Book )

3 editions published between 1965 and 1966 in English and German and held by 26 WorldCat member libraries worldwide

A bibliography of symbolic logic by Alonzo Church( Book )

7 editions published between 1936 and 1939 in English and held by 22 WorldCat member libraries worldwide

Alternatives to Zermelo's assumption by Alonzo Church( Book )

9 editions published between 1927 and 1930 in English and held by 19 WorldCat member libraries worldwide

Elementary topics in mathematical logic by Alonzo Church( Book )

1 edition published in 1942 in English and held by 16 WorldCat member libraries worldwide

Fermat's last theorem by Alonzo Church( Book )

2 editions published in 1937 in English and held by 13 WorldCat member libraries worldwide

A finite geometry : a lecture given at the Galois Institute of Mathematics at Long Island University by Alonzo Church( Book )

2 editions published in 1934 in English and held by 13 WorldCat member libraries worldwide

The problem of universals by Joseph M Bochenski( Book )

9 editions published between 1956 and 1992 in English and held by 12 WorldCat member libraries worldwide

Elementary topics in mathematical logic by Alonzo Church( Book )

3 editions published in 1934 in English and held by 11 WorldCat member libraries worldwide

A bibliography of symbolic logic by Alonzo Church( Book )

in English and held by 9 WorldCat member libraries worldwide

Introduction to Mathematical Logic (PMS-13) by Alonzo Church( )

1 edition published in 1991 in English and held by 0 WorldCat member libraries worldwide

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.51 (from 0.08 for Church's T ... to 0.99 for Alonzo Chu ...)

Introduction to mathematical logic
Alternative Names
Alonzo Čerč

Alonzo Church American mathematician

Alonzo Church Amerikaans wiskundige

Alonzo Church amerikansk matematikar

Alonzo Church amerikansk matematiker

Alonzo Church amerykański logik i matematyk

Alonzo Church matemàtic estatunidenc

Alonzo Church matematico e logico statunitense

Alonzo Church matemático estadounidense

Alonzo Church mathématicien américain

Alonzo Church US-amerikanischer Mathematiker und einer der Begründer der theoretischen Informatik

Alonzus Church

Čërč, A.

Church, A.

Αλόνζο Τσερτς

Алонза Чорч

Алонзо Черч

Алонзо Черч американски математичар

Алонсо Чърч

Чёрч, А.

Ալոնզո Չյորչ

אלונזו צ'רץ'

אלונזו צ'רץ' מתמטיקאי אמריקאי

ألونزو تشرتش

ألونزو تشرتش رياضياتي أمريكي

آلونزو چرچ ریاضی‌دان آمریکایی

ئەلۆنزۆ چێرچ

আলোন্‌জো চার্চ

അലോൺസോ ചർച്ച്

อลอนโซ เชิร์ช

알론조 처치

アロンゾ・チャーチ

阿隆佐·邱奇

Languages
English (291)

Russian (7)

French (5)

German (3)

Italian (1)

Covers
The calculi of lambda-conversionLogic, meaning, and computation : essays in memory of Alonzo ChurchChurch's Thesis after 70 years