Logic is sometimes called the foundation of mathematics: the
logician studies the kinds of reasoning used in the individual
steps of a proof. Alonzo Church was a pioneer in the field of
mathematical logic, whose contributions to number theory and the
theories of algorithms and computability laid the theoretical
foundations of computer science. His first Princeton book, "The
Calculi of Lambda-Conversion" (1941), established an invaluable
tool that computer scientists still use today.
Even beyond the accomplishment of that book, however, his second
Princeton book, "Introduction to Mathematical Logic," defined its
subject for a generation. Originally published in Princeton's
Annals of Mathematics Studies series, this book was revised in 1956
and reprinted a third time, in 1996, in the Princeton Landmarks in
Mathematics series. Although new results in mathematical logic have
been developed and other textbooks have been published, it remains,
sixty years later, a basic source for understanding formal
logic.
Church was one of the principal founders of the Association for
Symbolic Logic; he founded the "Journal of Symbolic Logic" in 1936
and remained an editor until 1979 At his death in 1995, Church was
still regarded as the greatest mathematical logician in the
world.
General
Imprint: |
Princeton University Press
|
Country of origin: |
United States |
Series: |
Princeton Landmarks in Mathematics and Physics |
Release date: |
November 1996 |
First published: |
November 1996 |
Authors: |
Alonzo Church
|
Dimensions: |
235 x 152 x 31mm (L x W x T) |
Format: |
Paperback - Trade
|
Pages: |
392 |
Edition: |
Revised |
ISBN-13: |
978-0-691-02906-1 |
Categories: |
Books >
Science & Mathematics >
Mathematics >
Mathematical foundations >
Mathematical logic
|
LSN: |
0-691-02906-7 |
Barcode: |
9780691029061 |
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!