Annals of Mathematics Studies: Calculi of Lambda-Conversion by Alonzo Church...
US $29.97US $29.97
Thu, Jun 26, 09:38 AMThu, Jun 26, 09:38 AM
Picture 1 of 1
Gallery
Picture 1 of 1
Have one to sell?
Annals of Mathematics Studies: Calculi of Lambda-Convers
US $29.97
ApproximatelyC $41.42
Condition:
Very Good
A book that does not look new and has been read but is in excellent condition. No obvious damage to the cover, with the dust jacket (if applicable) included for hard covers. No missing or damaged pages, no creases or tears, and no underlining/highlighting of text or writing in the margins. May be very minimal identifying marks on the inside cover. Very minimal wear and tear. See the seller’s listing for full details and description of any imperfections.
Oops! Looks like we're having trouble connecting to our server.
Refresh your browser window to try again.
Shipping:
US $5.22 (approx C $7.21) USPS Media MailTM.
Located in: Rantoul, Illinois, United States
Delivery:
Estimated between Thu, Aug 21 and Wed, Aug 27 to 94104
Returns:
No returns accepted.
Payments:
Coverage:
Read item description or contact seller for details. See all detailsSee all details on coverage
(Not eligible for eBay purchase protection programs)
Seller assumes all responsibility for this listing.
eBay item number:276631652387
Item specifics
- Condition
- ISBN
- 9780691083940
About this product
Product Identifiers
Publisher
Princeton University Press
ISBN-10
0691083940
ISBN-13
9780691083940
eBay Product ID (ePID)
1227691
Product Key Features
Number of Pages
78 Pages
Language
English
Publication Name
Calculi of Lambda-Conversion
Publication Year
1985
Subject
Calculus, Logic
Type
Textbook
Subject Area
Mathematics
Series
Annals of Mathematics Studies
Format
Trade Paperback
Dimensions
Item Height
0.4 in
Item Weight
6.2 Oz
Item Length
8.9 in
Item Width
5.9 in
Additional Product Features
Intended Audience
College Audience
TitleLeading
The
Series Volume Number
6
Dewey Decimal
517.5 510.82
Synopsis
The description for this book, The Calculi of Lambda Conversion. (AM-6), Volume 6, will be forthcoming., The classic book that inspired Alan Turing and helped to lay the foundation for theoretical computer science This book provides a concise introduction to the calculi of lambda-conversion first discovered by Alonzo Church and developed by him in collaboration with his students, S. C. Kleene and J. B. Rosser. The first four chapters present the calculus of lambda-conversion in detail, with subsequent chapters discussing the calculus of -K -conversion, the calculus of restricted -K -conversion, and the calculus of - -conversion, as well as the applications of the latter to symbolic logic. Gödel numbers are presented using simplified notation, and the fundamental Church-Rosser consistency theorem is discussed in full. This influential book is one that attracted the interest of Alan Turing-who later completed his PhD under Church's supervision-and is widely credited with helping to usher in the modern age of computer science. Princeton University Press is proud to have published the Annals of Mathematics Studies since 1940. One of the oldest and most respected series in science publishing, it has included many of the most important and influential mathematical works of the twentieth century. The series continues this tradition into the twenty-first century as Princeton looks forward to publishing the major works of the new millennium., The classic book that inspired Alan Turing and helped to lay the foundation for theoretical computer science This book provides a concise introduction to the calculi of lambda-conversion first discovered by Alonzo Church and developed by him in collaboration with his students, S. C. Kleene and J. B. Rosser. The first four chapters present the calculus of lambda-conversion in detail, with subsequent chapters discussing the calculus of λ-K -conversion, the calculus of restricted λ-K -conversion, and the calculus of λ-δ -conversion, as well as the applications of the latter to symbolic logic. Gödel numbers are presented using simplified notation, and the fundamental Church-Rosser consistency theorem is discussed in full. This influential book is one that attracted the interest of Alan Turing--who later completed his PhD under Church's supervision--and is widely credited with helping to usher in the modern age of computer science. Princeton University Press is proud to have published the Annals of Mathematics Studies since 1940. One of the oldest and most respected series in science publishing, it has included many of the most important and influential mathematical works of the twentieth century. The series continues this tradition into the twenty-first century as Princeton looks forward to publishing the major works of the new millennium.
Item description from the seller
Seller feedback (26)
This item (1)
All items (26)
- g***b (511)- Feedback left by buyer.Past 6 monthsVerified purchaseGreat item, exactly as described. Thank you!
- m***m (322)- Feedback left by buyer.Past monthVerified purchaseSeller's communication was excellent, package arrived in good shape and as described. I'm glad I made this purchase.
- 5***a (451)- Feedback left by buyer.Past 6 monthsVerified purchaseGreat seller arrive quickly and as described
- 5***l (133)- Feedback left by buyer.Past 6 monthsVerified purchasecould have been packaged a little better but arrived mostly fineGuide to Writing a UNIX Device Driver by Thomas J. Teixeira and Janet I. Egan... (#276631606034)
More to explore:
- Mathematics Study Study Guides Prep,
- Mathematics Study DVDs Prep,
- Mathematics Study Flashcards Prep,
- Mathematics Study Workbooks Prep,
- Mathematics Study Hardcovers Prep,
- Mathematics Study Answer Books Prep,
- Mathematics Study Test Books Prep,
- Mathematics Study Guides & Test Prep in Korean,
- Mathematics Assessment Study Guides & Test Prep,
- HarperCollins Mathematics Study Guides & Test Prep