Artikelzustand: Sehr gut: Buch, das nicht neu aussieht und gelesen wurde, sich aber in einem hervorragenden Zustand ... Sehr gut: Buch, das nicht neu aussieht und gelesen wurde, sich aber in einem hervorragenden Zustand befindet. Der Einband weist keine offensichtlichen Beschädigungen auf. Bei gebundenen Büchern ist der Schutzumschlag vorhanden (sofern zutreffend). Alle Seiten sind vollständig vorhanden, es gibt keine zerknitterten oder eingerissenen Seiten und im Text oder im Randbereich wurden keine Unterstreichungen, Markierungen oder Notizen vorgenommen. Der Inneneinband kann minimale Gebrauchsspuren aufweisen. Minimale Gebrauchsspuren. Genauere Einzelheiten sowie eine Beschreibung eventueller Mängel entnehmen Sie bitte dem Angebot des Verkäufers. Alle Zustandsdefinitionen ansehenwird in neuem Fenster oder Tab geöffnet

ISBN: 9780691083940

Über dieses Produkt

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

Author

Alonzo Church

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

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.

Artikelbeschreibung des Verkäufers

Info zu diesem Verkäufer

Mitglied seit Jan 2010

Angemeldet als privater VerkäuferDaher finden verbraucherschützende Vorschriften, die sich aus dem EU-Verbraucherrecht ergeben, keine Anwendung. Der eBay-Käuferschutz gilt dennoch für die meisten Käufe.

Mehr Artikel des Verkäufers Kontakt

Verkäuferbewertungen (23)

Dieser Artikel (1)

Alle Artikel (23)

g***b (506)- Bewertung vom Käufer.
Letzter Monat
Bestätigter Kauf
Great item, exactly as described. Thank you!

Alle Bewertungen ansehen

Bild 1 von 1

Annals of Mathematics Studies: Calculi of Lambda-Conversion by Alonzo Church...

Sicher einkaufen

Artikelmerkmale

Über dieses Produkt

Product Identifiers

Product Key Features

Dimensions

Additional Product Features

Artikelbeschreibung des Verkäufers

2010jbrubaker999

100% positive Bewertungen•106 Artikel verkauft

Verkäuferbewertungen (23)

Noch mehr entdecken:

2010jbrubaker999

100% positive Bewertungen•106 Artikel verkauft

Verkäuferbewertungen (23)