Order Total (1 Item Items):
Shipping Destination:
Plotkin Gordon (55 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (55)
- 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 (37)
- As New, Fine or Near Fine (3)
- Very Good or Good (6)
- Fair or Poor (No further results match this refinement)
- As Described (9)
Binding
Collectible Attributes
Language (1)
Free Shipping
Seller Location
Seller Rating
-
Condition: good. Befriedigend/Good: Durchschnittlich erhaltenes Buch bzw. Schutzumschlag mit Gebrauchsspuren, aber vollständigen Seiten. / Describes the average WORN book or dust jacket that has all the pages present.
-
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.
-
![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-uk-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].
-
Typed Lambda Calculi and Applications : Proceedings of the 2nd International Conference on Typed Lambda Calculi and Applications, TLCS '95, Edinburgh, United Kingdom, April 10-12, 1995
Language: English
Published by Springer Berlin / Heidelberg, 1995
ISBN 10: 354059048X ISBN 13: 9783540590484
Condition: Good. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
-
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.
-
Rabbi Plotkin: A Memoir
Language: English
Published by Arizona State University Libra, Tempe, Arizona, 1992
ISBN 10: 1879286025 ISBN 13: 9781879286023
First Edition Signed
Trade Paperback. Condition: VG+. Dust Jacket Condition: No Jacket as Issued. 1st Edition. White trade paperback with portrait of Rabbi Plotkin on the cover. No defects on the book. Book is SIGNED BY RABBI ALBERT PLOTKIN AND GORDON A. SABINE, no inscription. There is a note stating this was gift from the editor. Memoir of this Jewish Rabbi. 160 pages. Signed by Author(s). Book.
-
Condition: New. pp. 260 Illus.
-
Condition: New. pp. 260.
-
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 4 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.
-
Hardcover. Condition: New. Dust Jacket Condition: New. First Edition. Brand New! Electronic delivery tracking will be issued free of charge.
-
Proof, Language, and Interaction
Language: English
Published by The MIT Press Bookstore, 2000
ISBN 10: 0262161885 ISBN 13: 9780262161886
Condition: New. pp. xiv + 722 Illus.
-
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.
-
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.
-
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.
-
Logical Environments
Language: English
Published by Cambridge University Press, Cambridge, United Kingdom, 1993
ISBN 10: 0521433126 ISBN 13: 9780521433129
Seller: PsychoBabel & Skoob Books, Didcot, United Kingdom
Seller rating 5 out of 5 stars
hardcover. Condition: Very Good. Dust Jacket Condition: Very Good.
-
Condition: Used. pp. 460.
-
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.
-
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.
-
Condition: Used. pp. 460 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam.
-
Condition: Used. pp. 460.
-
Typed Lambda Calculi and Applications: Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, ... (Lecture Notes in Computer Science, 902)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 50.43
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Transactions on Computational Systems Biology VI (Lecture Notes in Computer Science, 4220)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 50.43
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
-
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
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
