Order Total (1 Item Items):
Shipping Destination:
Logics Time Computation by Goldblatt Robert (11 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (11)
- Magazines & Periodicals (No further results match this refinement)
- Comics (No further results match this refinement)
- Sheet Music (No further results match this refinement)
- Art, Prints & Posters (No further results match this refinement)
- Photographs (No further results match this refinement)
- Maps (No further results match this refinement)
- Manuscripts & Paper Collectibles (No further results match this refinement)
Condition Learn more
- New (6)
- As New, Fine or Near Fine (No further results match this refinement)
- Very Good or Good (5)
- Fair or Poor (No further results match this refinement)
- As Described (No further results match this refinement)
Binding
Collectible Attributes
- First Edition (No further results match this refinement)
- Signed (No further results match this refinement)
- Dust Jacket (1)
- Seller-Supplied Images (2)
- Not Print on Demand (11)
Language (1)
Free Shipping
- Free Shipping to U.S.A. (No further results match this refinement)
Seller Location
Seller Rating
-
Logics of time and computation (CSLI lecture notes)
Published by Center for the Study of Language, 1987
ISBN 10: 0937073121 ISBN 13: 9780937073124
Language: English
Seller: Orca Knowledge Systems, Inc., Novato, CA, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: Good. Shelf wear to covers (fold marks, black lines on back cover, scuffed), Binding is tight. Finding no markings in book. 131pp.
-
Logics of Time and Computation (Lecture Notes)
Published by Center for the Study of Language and Inf, 1992
ISBN 10: 0937073946 ISBN 13: 9780937073940
Language: English
Trade Paperback. Condition: New. Second Edition, Revised & Expanded. This is a new, paperback, second edition copy, maroon spine.
-
Logics of time and computation (CSLI lecture notes)
Published by Center for the Study of Language and Information, 1987
ISBN 10: 0937073121 ISBN 13: 9780937073124
Language: English
Seller: Phatpocket Limited, Waltham Abbey, HERTS, United Kingdom
Seller rating 5 out of 5 stars
Condition: Good. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, but in good overall condition. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions.
-
Logics of Time & Computation 2e
Published by Stanford Univ Center for the Study, 1992
ISBN 10: 0937073946 ISBN 13: 9780937073940
Language: English
Paperback. Condition: Brand New. 2nd edition. 180 pages. 9.50x6.50x0.75 inches. In Stock.
-
Logics of time and computation (CSLI lecture notes)
Published by Center for the Study of Language and Information, 1987
ISBN 10: 0937073121 ISBN 13: 9780937073124
Language: English
Seller: Fireside Bookshop, Stroud, GLOS, United Kingdom
Association Member: PBFA
Seller rating 5 out of 5 stars
Soft cover. Condition: Good. Type: Book Small plain label inside cover.
-
Logics of Time and Computation (Volume 7) (Lecture Notes)
Published by Center for the Study of Language and Inf, 1992
ISBN 10: 0937073946 ISBN 13: 9780937073940
Language: English
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In.
-
Logics of Time & Computation 2e
Published by Stanford Univ Center for the Study, 1992
ISBN 10: 0937073946 ISBN 13: 9780937073940
Language: English
Paperback. Condition: Brand New. 2nd edition. 180 pages. 9.50x6.50x0.75 inches. In Stock.
-
Logics of Time and Computation (Volume 7) (Lecture Notes)
Published by Center for the Study of Language and Inf, 1992
ISBN 10: 0937073946 ISBN 13: 9780937073940
Language: English
Paperback. Condition: New. In shrink wrap. Looks like an interesting title!
-
Logics of time and computation (CSLI lecture notes)
Published by Center for the Study of Language, 1987
ISBN 10: 0937073113 ISBN 13: 9780937073117
Language: English
Seller: Midtown Scholar Bookstore, Harrisburg, PA, U.S.A.
Seller rating 5 out of 5 stars
Hardcover. Condition: Very Good. Very Good - Crisp, clean, unread book with some shelfwear/edgewear, may have a remainder mark - NICE Standard-sized.
-
Logics of Time and Computation
Published by Centre For The Study Of Language & Information Jun 1992, 1992
ISBN 10: 0937073946 ISBN 13: 9780937073940
Language: English
Taschenbuch. Condition: Neu. Neuware - Now revised and significantly expanded, this textbook introduces modal logic and examines the relevance of modal systems for theoretical computer science. Goldblatt sets out a basic theory of normal modal and temporal propositional logics, including issues such as completeness proofs, decidability, first-order definability, and canonicity. The basic theory is then applied to logics of discrete, dense, and continuous time; to the temporal logic of concurrent programs involving the connectives henceforth, next, and until; and to the dynamic logic of regular programs. New material for the second edition extends the temporal logic of concurrency to branching time, studying a system of Computational Tree Logic that formalizes reasoning about behavior. Dynamic logic is also extended to the case of concurrency, introducing a connective for the parallel execution of commands. A separate section is devoted to quantificational dynamic logic. Numerous exercises are included for use in the classroom.Robert Goldblatt is a professor of pure mathematics at the Victoria University of Wellington, New Zealand.
-
Logics of time and computation (CSLI lecture notes)
Published by Center for the Study of Language and Information, 1987
ISBN 10: 0937073113 ISBN 13: 9780937073117
Language: English
hardcover. Condition: Very Good. Dust Jacket may NOT BE INCLUDED.CDs may be missing. SHIPS FROM MULTIPLE LOCATIONS. book.
