Search Type
  • All
  • Subject
  • Title
  • Author
  • Publisher
  • Series Title
Search Title

Download

Logic from Computer Science

Proceedings of a Workshop Held November 13-17, 1989

Logic from Computer Science( )
Editor: Chern, Shiing-Shen
Kaplansky, Irving
Moore, C. C.
Singer, I. M.
Moschovakis, Yiannis N.
Series title:Mathematical Sciences Research Institute Publications
ISBN:978-0-387-97667-9
Publication Date:Dec 1991
Publisher:Springer
Book Format:Hardback
List Price:USD $114.00
Book Description:

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.

Book Details
Pages:608
Detailed Subjects: Mathematics / Logic
Computers / Computer Science
Book Weight:2.299 Pounds



Featured Books

Beaverland
Philip, Leila
Paperback: $19.99
Without a Map
Hall, Meredith
Paperback: $17.95
The Book of Love
Link, Kelly
Hardback: $31.00

Rate this title:

Select your rating below then click 'submit'.






I do not wish to rate this title.