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
Published by
Elsevier Science & Technology, 1990
ISBN 10: 0125242204
ISBN 13: 9780125242202
Used
Hardcover
Seller: Better World Books Ltd, Dunfermline, United Kingdom
Seller rating 5 out of 5 stars
Condition: Good. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good. Seller Inventory # 68094882-20
Buy Used
US$ 31.64
US$ 6.77 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; 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.88
US$ 16.92 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available