1130014
9780387976679
Logic from Computer Science Proceedings of a Workshop Held Nov 13-17, 1989
by Chern, Shiing-Shen, Kaplansky, Irving, Moore, C. C.
8823
List Price
Discount
25% Off
You Save
$28.51
About this item
- Condition: New
- Provider: Bookjunction Contact
- Provider Rating: 74%
- Ships From: STERLING HEIGHTS, MI
- Shipping: Standard
- Comments: New, US edition. Satisfaction guaranteed!!
325
List Price
Discount
71% Off
You Save
$81.56
About this item
- Condition: Good
- Provider: Ergodebooks Contact
- Provider Rating: 82%
- Ships From: Multiple Locations
- Shipping: Standard
- Comments: Buy with confidence. Excellent Customer Service & Return policy.
Product details
- ISBN-13: 9780387976679
- ISBN: 0387976671
- Publisher: Springer
AUTHOR
SUMMARY
Topics of this proceedings volume will include Computability and Complexity of Higher Type Functions by Stephen Cook, Logics for Termination and Correctness of Functional Programs by Solomon Feferman, Reals and Forcing with Elementary Topos by the well known mathematician, Saunders MacLane and Ieke Moerdijk, and Concurrent Computation as Game Playing by Anil Nerode.Chern, Shiing-Shen is the author of 'Logic from Computer Science Proceedings of a Workshop Held Nov 13-17, 1989' with ISBN 9780387976679 and ISBN 0387976671.
[read more]
The ValoreBooks Guarantee
With our dedicated customer support team, you can rest easy knowing that we're doing everything we can to save you time, money, and stress.
