Order Total (1 Item Items):
Shipping Destination:
Plotkin Gordon (66 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (66)
- 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 (41)
- As New, Fine or Near Fine (5)
- Very Good or Good (11)
- Fair or Poor (No further results match this refinement)
- As Described (9)
Binding
Collectible Attributes
Language (1)
Free Shipping
Seller Location
Seller Rating
-
Logical Environments
Language: English
Published by Cambridge University Press, 1993
ISBN 10: 0521433126 ISBN 13: 9780521433129
Condition: Very Good. Former library book; may include library markings. Used book that is in excellent condition. May show signs of wear or have minor defects.
-
Logical Environments
Language: English
Published by Cambridge University Press, 1993
ISBN 10: 0521433126 ISBN 13: 9780521433129
Seller: Powell's Bookstores Chicago, ABAA, Chicago, IL, U.S.A.
Seller rating 5 out of 5 stars
Signed
hardcover. Condition: Used-Very Good. Library binding. No dj. Light shelf-wear.
-
From Semantics to Computer Science: Essays in Honour of Gilles Kahn
Language: English
Published by Cambridge University Press, 2009
ISBN 10: 0521518253 ISBN 13: 9780521518253
hardcover. Condition: Very Good. Open Books is a nonprofit social venture that provides literacy experiences for thousands of readers each year through inspiring programs and creative capitalization of books.
-
![Stock image for Typed Lambda Calculi and Applications. [Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 1995 Proceedings] (Lecture Notes in Computer Science 902) for sale by G. & J. CHESTERS](https://pictures.abebooks.com/isbn/9783540590484-us-300.jpg)
Typed Lambda Calculi and Applications. [Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 1995 Proceedings] (Lecture Notes in Computer Science 902)
Language: English
Published by Springer Berlin Heidelberg, 1995
ISBN 10: 354059048X ISBN 13: 9783540590484
Soft cover. Condition: Very Good. pp.viii, 442 pages, a very good paperback [354059048X]. From a university library.
-
Logical Environments.
Language: English
Published by Cambridge University Press, 1993
ISBN 10: 0521433126 ISBN 13: 9780521433129
Hardcover. Condition: Near Fine. pp.xiii, 338 pages, a near fine hardback, publisher's original blue (teal) cloth binding with gilt lettering to the spine, minimal evidence that it is from a uk university [0521433126].
-
Situation Theory and Its Applications - Volume 2
Language: English
Published by CSLI Center for the Study of Language and Information, 1992
ISBN 10: 0937073709 ISBN 13: 9780937073704
Seller: avelibro OHG, Dinkelscherben, Germany
Association Member: BOEV
Seller rating 5 out of 5 stars
First Edition
22,5 x 15 cm. Condition: Gut. 1. Auflage. XIII, 637 Seiten, 2 Blatt Innen sauberer, guter Zustand. Softcover, Broschur mit den üblichen Bibliotheks-Markierungen, Stempeln und Einträgen, innen wie außen, siehe Bilder. Leichte Lagerspuren, leicht gebräunt. - CSLI Lecture Notes, Band 26. RW-SB-02E|A67 Sprache: Englisch Gewicht in Gramm: 862.
-
From Semantics to Computer Science: Essays in Honour of Gilles Kahn
Language: English
Published by Cambridge University Press, 2009
ISBN 10: 0521518253 ISBN 13: 9780521518253
Hardcover. Condition: Très bon. Ancien livre de bibliothèque. Edition 2009. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 2009. Ammareal gives back up to 15% of this item's net price to charity organizations.
-
Condition: New. pp. 260 Illus.
-
Condition: New. pp. 260.
-
Situation Theory and Its Applications, Volume 2 (Lecture Notes)
Language: English
Published by Center for the Study of Language and Inf, 1992
ISBN 10: 0937073709 ISBN 13: 9780937073704
Seller: Book House in Dinkytown, IOBA, Minneapolis, MN, U.S.A.
Association Member: IOBA
Seller rating 5 out of 5 stars
Paperback. Condition: Very Good. Very good paperback with very good text. Previous owner's inscription on front endpaper, otherwise text very good. Exterior has light shelfwear and abrasions; otherwise very good. Ships from Dinkytown in Minneapolis, Minnesota.
-
Typed Lambda Calculi and Applications: Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom
Seller: George Cross Books, Lexington, MA, U.S.A.
Association Member: IOBA
Seller rating 5 out of 5 stars
Paperback. Reprint edition. Very Good/Wraps (34592) Paperback. Clean, tight, unmarked. This is *NOT* an old library book. Lecture Notes in Computer Science Volume 902 This volume presents the proceedings of the Second International Conference on Typed Lambda Calculi and Applications, held in Edinburgh, UK in April 1995. The book contains 29 full revised papers selected from 58 submissions and comprehensively reports the state of the art in the field. The following topics are addressed: proof theory of type systems, logic and type systems, typed lambda calculi as models of (higher-order) computation, semantics of type systems, proof verification via type systems, type systems of programming languages, and typed term rewriting systems. 443.
-
Condition: New. pp. 260.
-
Proof, Language, and Interaction : Essays in Honour of Robin Milner
Seller: Better World Books Ltd, Dunfermline, United Kingdom
Seller rating 5 out of 5 stars
US$ 24.18
US$ 10.77 shipping
Ships from United Kingdom to U.S.A.Quantity: 1 available
Add to basketCondition: Good. illustrated edition. Ships from the UK. Former library book; may include library markings. Used book that is in clean, average condition without any missing pages.
-
Paperback. Condition: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments.
-
Paperback. Condition: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments.
-
Hardcover. Condition: New. Dust Jacket Condition: New. First Edition. Brand New! Electronic delivery tracking will be issued free of charge.
-
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
-
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
-
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.
-
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.
-
From Semantics to Computer Science
Language: English
Published by Cambridge University Press, 2009
ISBN 10: 0521518253 ISBN 13: 9780521518253
Condition: New. pp. xix + 574 7 Illus.
-
Situation and Theory and its Applications. Volume 2.
Language: English
Published by Center for the Study of Language and Information, 1992
Softcover. 3356 Ex-library with Stamp and Library-Signature in Good Condition, Some Traces of Use Sprache: Englisch Gewicht in Gramm: 1050.
-
Brand new book. Fast ship. Please provide full street address as we are not able to ship to P O box address.
-
Brand new book. Fast ship. Please provide full street address as we are not able to ship to P O box address.
-
-
-
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
-
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.
-
LOGICAL FRAMEWORKS.
Language: English
Published by Cambridge University Press:, 1991
ISBN 10: 0521413001 ISBN 13: 9780521413008
Hard Cover. Condition: Fine. 403 pages. "This book contains a collection of papers concerned with logical frameworks. Such frameworks arise in a number of ways when considering the relationship between logic and computation, and indeed the general structure of logical formalism." FINE HARDCOVER. Size: 8vo - over 7¾" - 9¾" tall.
-
Situation Theory and Its Applications Volume 2 CSLI Lecture Notes Number 26
Language: English
Published by Centre for the Study of Language and Information, Stanford, 1991
ISBN 10: 0937073709 ISBN 13: 9780937073704
Seller: Webbooks, Wigtown, Wigtown, United Kingdom
Association Member: PBFA
Seller rating 5 out of 5 stars
First Edition
US$ 27.72
US$ 40.37 shipping
Ships from United Kingdom to U.S.A.Quantity: 1 available
Add to basketSoft Cover. Condition: Good. No Jacket. First Edition. From an academic library with the usual stamps and labels. Contents clean. Card covers have been laminated with clear adhesive plastic. This is a heavy book and we will request extra shipping if ordered from outside the UK. A00016517.
