Search - List of Books by Alonzo Church

"I tried reading Hilbert. Only his papers published in mathematical periodicals were available at the time. Anybody who has tried those knows they are very hard reading." -- Alonzo Church
Alonzo Church (June 14, 1903 — August 11, 1995) was an American mathematician and logician who made major contributions to mathematical logic and the foundations of theoretical computer science. He is best known for the lambda calculus, Church—Turing thesis, Frege—Church ontology, and the Church—Rosser theorem.

Quotes   more �

Life   more �

Mathematical Work   more �

Students   more �

Books   more �

Sources   more �

This author page uses material from the Wikipedia article "Alonzo Church", which is released under the Creative Commons Attribution-Share-Alike License 3.0
Total Books: 7
Sketches of The New Jersey Historical Society
2009 - Sketches of the New Jersey Historical Society (Paperback)
ISBN-13: 9781117479132
ISBN-10: 1117479137
  ?

Introduction to Mathematical Logic
1996 - Introduction to Mathematical Logic (Paperback)Paperback, Hardcover
ISBN-13: 9780691029061
ISBN-10: 0691029067
Genres: Science & Math, Engineering & Transportation
  ?

The Calculi of Lambda Conversion
1985 - The Calculi of Lambda Conversion [AM-6 - Annals of Mathematics Studies] (Paperback)Paperback
ISBN-13: 9780691083940
ISBN-10: 0691083940
Genres: Science & Math, Engineering & Transportation
  ?

Introduction to Mathematical Logic
1956 - Introduction to Mathematical Logic (Hardcover)Paperback
ISBN-13: 9780691079844
ISBN-10: 0691079846
Genre: Science & Math
  ?

Introduction to Mathematical Logic
Introduction to Mathematical Logic (Paperback)Paperback, Hardcover
ISBN-13: 9780527027292
ISBN-10: 0527027294
  ?