Items related to Logic and Computer Science (Apic Studies in Data Processing)
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 (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$ 24.79
US$ 16.86 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available