One of the pioneers of mathematical logic in the twentieth century was Alonzo Church. He introduced such concepts as the lambda calculus, now an essential tool of computer science, and was the founder of the Journal of Symbolic Logic. In Introduction to Mathematical Logic, Church presents a masterful overview of the subject--one which should be read by every researcher and student of logic. The previous edition of this book was in the Princeton Mathematical Series.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Alonzo Church (1903-1995) was a renowned mathematician, logician, and philosopher. Together with his student Alan Turing, he is considered one of the founders of computer science.
Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.
Vendeur : Deadstock Gear, Fort Oglethorpe, GA, Etats-Unis
paperback. Etat : Very Good. Item may have minor cosmetic defects (such as marks, wears, cuts, bends, or crushes) on the cover, spine, pages, or dust cover. Shrink wrap, dust covers, or boxed set case may be missing. Item may contain remainder marks on outside edges. Item may be missing bundled media. Satisfaction guaranteed. Thank you! N° de réf. du vendeur 08-26-2026-Bulk-Shelf 47/G039
Quantité disponible : 1 disponible(s)
Vendeur : Evergreen Goodwill, Seattle, WA, Etats-Unis
paperback. Etat : Good. N° de réf. du vendeur mon0000152554
Quantité disponible : 1 disponible(s)
Vendeur : ThriftBooks-Dallas, Dallas, TX, Etats-Unis
Paperback. Etat : Very Good. No Jacket. Former library book; May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less. N° de réf. du vendeur G0691029067I4N10
Quantité disponible : 1 disponible(s)
Vendeur : HPB-Red, Dallas, TX, Etats-Unis
Paperback. Etat : Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority! N° de réf. du vendeur S_485606951
Quantité disponible : 1 disponible(s)
Vendeur : Goodwill of Central and Coastal Virginia, Richmond, VA, Etats-Unis
Etat : acceptable. N° de réf. du vendeur CCVV.0691029067.A
Quantité disponible : 1 disponible(s)
Vendeur : Tin Can Mailman, Arcata, Arcata, CA, Etats-Unis
paperback. Etat : Good. Good-plus condition. Minor shelf and perusal wear; slight scuffing to bottom of text block. Spine is sun-faded. Pages are well bound. Gift inscription on front endpaper; otherwise, text appears clean and unmarked. N° de réf. du vendeur SKU1016749
Quantité disponible : 1 disponible(s)
Vendeur : BennettBooksLtd, Los Angeles, CA, Etats-Unis
paperback. Etat : New. In shrink wrap. Looks like an interesting title! N° de réf. du vendeur Q-0691029067
Quantité disponible : 1 disponible(s)
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Etat : As New. Unread book in perfect condition. N° de réf. du vendeur 401652
Quantité disponible : 1 disponible(s)
Vendeur : Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlande
Etat : New. 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's contributions to number theory and theories of algorithms and computability laid the theoretical foundations of computer science. This book is a basic source for understanding formal logic. Series: Annals of Mathematics Studies. Num Pages: 392 pages, black & white illustrations. BIC Classification: PBCD. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 229 x 152 x 25. Weight in Grams: 542. . 1996. Paperback. . . . . N° de réf. du vendeur V9780691029061
Quantité disponible : 1 disponible(s)
Vendeur : PBShop.store UK, Fairford, GLOS, Royaume-Uni
PAP. Etat : New. New Book. Shipped from UK. Established seller since 2000. N° de réf. du vendeur WP-9780691029061
Quantité disponible : 2 disponible(s)