Items related to Logic from Computer Science: Proceedings of a Workshop...
Logic from Computer Science: Proceedings of a Workshop held November 13–17, 1989 (Mathematical Sciences Research Institute Publications) - Hardcover
Synopsis
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.
"synopsis" may belong to another edition of this title.
Search results for Logic from Computer Science: Proceedings of a Workshop...
Stock Image
Logic from computer science : proceedings of a workshop held November 13-17, 1989.
Seller: Kloof Booksellers & Scientia Verlag, Amsterdam, Netherlands
Seller rating 4 out of 5 stars
Condition: very good. New York etc. : Springer-Verlag, cop. 1992. Hardcover. xi,608 pp. (Mathematical Sciences Research Institute publications ; 27). Condition : very good copy. ISBN 9780387976679. Keywords : , Seller Inventory # 215825
Buy Used
US$ 24.06
US$ 33.44 shipping
Ships from Netherlands to U.S.A.
Ships from Netherlands to U.S.A.
Quantity: 1 available
Seller Image
Logic from Computer Science: Proceedings of a Workshop held November 13-17, 1989 (Mathematical Sciences Research Institute Publication 21)
Seller: MB Books, Derbyshire, United Kingdom
Seller rating 5 out of 5 stars
Hardcover. Condition: Good. No Jacket. Condition : Good. Ex university library with associated markings. Hard cover, no jacket. 608pp. No highlighting or annotations. Good condition is defined as : structurally sound, text clean, moderate external wear consistent with normal academic use. Photos on request. Seller Inventory # 944999
Buy Used
US$ 35.78
US$ 29.39 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available
Stock Image
Logic from Computer Science - Proceedings of a Workshop Held November 13-17, 1989
Seller: Basi6 International, Irving, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Seller Inventory # ABEOCT25-86818
Stock Image
Logic from Computer Science - Proceedings of a Workshop Held November 13-17, 1989
Seller: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. Seller Inventory # ABBB-157666
Stock Image
Logic from Computer Science
Seller: Books Puddle, Woodside, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: Used. pp. xi + 608. Seller Inventory # 263129131
Stock Image
Logic from Computer Science
Seller: Majestic Books, Hounslow, United Kingdom
Seller rating 4 out of 5 stars
Condition: Used. pp. xi + 608 10 Figures. Seller Inventory # 5767412
Buy Used
US$ 133.97
US$ 8.68 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available
Stock Image
Logic from Computer Science
Seller: Biblios, Frankfurt am main, HESSE, Germany
Seller rating 4 out of 5 stars
Condition: Used. pp. xi + 608. Seller Inventory # 183129121
Buy Used
US$ 145.54
US$ 11.09 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 1 available
Stock Image
Logic from Computer Science: Proceedings of a Workshop Held Nov 13-17, 1989 (Mathematical Sciences Research Institute Publications)
Seller: Mispah books, Redhill, SURRE, United Kingdom
Seller rating 4 out of 5 stars
Hardcover. Condition: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book. Seller Inventory # ERICA70403879766715
Buy Used
US$ 123.85
US$ 33.40 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available