Synopsis
The application of mathematical logic to computer science continues to be of major importance in the development of more advanced systems. In this book, a combination of survey chapters and applications work is presented--particularly concentrating on lamda-calculus, typed functional programming, and theorem provers
"synopsis" may belong to another edition of this title.
Search results for Logic and Computer Science (Apic Studies in Data Processing)
Stock Image
Logic and Computer Science
Seller: Ammareal, Morangis, France
Seller rating 5 out of 5 stars
Hardcover. Condition: Bon. Ancien livre de bibliothèque. Légères traces d'usure sur la couverture. Couverture différente. Edition 1997. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Slight signs of wear on the cover. Different cover. Edition 1997. Ammareal gives back up to 15% of this item's net price to charity organizations. Seller Inventory # E-551-373
Buy Used
US$ 7.24
US$ 24.64 shipping
Ships from France to U.S.A.
Ships from France to U.S.A.
Quantity: 1 available
Stock Image
Logic and Computer Science
Seller: Ammareal, Morangis, France
Seller rating 5 out of 5 stars
Hardcover. Condition: Très bon. Ancien livre de bibliothèque. Légères traces d'usure sur la couverture. Couverture différente. Edition 1990. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Slight signs of wear on the cover. Different cover. Edition 1990. Ammareal gives back up to 15% of this item's net price to charity organizations. Seller Inventory # E-843-054
Buy Used
US$ 7.24
US$ 24.64 shipping
Ships from France to U.S.A.
Ships from France to U.S.A.
Quantity: 1 available
Stock Image
Logic and Computer Science
Seller: Ammareal, Morangis, France
Seller rating 5 out of 5 stars
Hardcover. Condition: Très bon. Ancien livre de bibliothèque. Légères traces d'usure sur la couverture. Edition 1997. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Slight signs of wear on the cover. Edition 1997. Ammareal gives back up to 15% of this item's net price to charity organizations. Seller Inventory # E-627-477
Buy Used
US$ 7.24
US$ 24.64 shipping
Ships from France to U.S.A.
Ships from France to U.S.A.
Quantity: 1 available
Stock Image
Logic and Computer Science (APIC Studies in Data Processing; Volume 31)
Published by
Academy Press Ltd., London, 1990
ISBN 10: 0125242204
ISBN 13: 9780125242202
Used
Hardcover
Seller: PsychoBabel & Skoob Books, Didcot, United Kingdom
Seller rating 5 out of 5 stars
Hardcover. Condition: Very Good. Dust Jacket Condition: No Dust Jacket. Hardcover. Leading corners are very slightly worn. Superficial scores front and rear. Pages are clean and tight throughout. No dust jacket. T. Used. Seller Inventory # 279108
Buy Used
US$ 25.41
US$ 17.28 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available
Stock Image
Logic and Computer Science (Apic Studies in Data Processing)
Published by
Academic Press Inc 01.07.1990., 1990
ISBN 10: 0125242204
ISBN 13: 9780125242202
Used
Hardcover
Seller: NEPO UG, Rüsselsheim am Main, Germany
Seller rating 5 out of 5 stars
Gebundene Ausgabe. Condition: Sehr gut. Auflage: Reprinted edition. 488 Seiten ex Library Book aus einer wissenschafltichen Bibliothek Sprache: Englisch Gewicht in Gramm: 969. Seller Inventory # 367843
Buy Used
US$ 30.64
US$ 28.85 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 1 available