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.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
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.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Da: ThriftBooks-Atlanta, AUSTELL, GA, U.S.A.
Paperback. Condizione: Very Good. No Jacket. Former library book; May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less. Codice articolo G0691029067I4N10
Quantità: 1 disponibili
Da: Evergreen Goodwill, Seattle, WA, U.S.A.
paperback. Condizione: Good. Codice articolo mon0000152554
Quantità: 1 disponibili
Da: Goodwill of Central and Coastal Virginia, Richmond, VA, U.S.A.
Condizione: acceptable. Codice articolo CCVV.0691029067.A
Quantità: 1 disponibili
Da: HPB-Red, Dallas, TX, U.S.A.
Paperback. Condizione: 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! Codice articolo S_485606951
Quantità: 1 disponibili
Da: Tin Can Mailman, Arcata, Arcata, CA, U.S.A.
paperback. Condizione: 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. Codice articolo SKU1016749
Quantità: 1 disponibili
Da: Shiny Owl Books, Gloucester, NSW, Australia
Softcover. Condizione: Fine. Condizione sovraccoperta: No Dust Jacket. Revised and Updated Edition. Size: Medium (20 to 26cm). Item Type: Book. Text body is clean and unmarked. Binding tight, spine fine. ISBN: 0691029067. ISBN/EAN: 9780691029061. ***We ONLY post to AUS NZ UK CANADA USA JAPAN SINGAPORE & SWITZ VIA THIS SERVICE*** thousands of additional books available on our own website*. Codice articolo 57427
Quantità: 1 disponibili
Da: BennettBooksLtd, Los Angeles, CA, U.S.A.
paperback. Condizione: New. In shrink wrap. Looks like an interesting title! Codice articolo Q-0691029067
Quantità: 1 disponibili
Da: PBShop.store US, Wood Dale, IL, U.S.A.
PAP. Condizione: New. New Book. Shipped from UK. Established seller since 2000. Codice articolo WP-9780691029061
Quantità: 2 disponibili
Da: GreatBookPrices, Columbia, MD, U.S.A.
Condizione: As New. Unread book in perfect condition. Codice articolo 401652
Quantità: 1 disponibili
Da: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
Condizione: 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. . . . . Codice articolo V9780691029061
Quantità: 1 disponibili