Order Total (1 Item Items):
Shipping Destination:
Hindley Roger Seldin Jonathan (14 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (14)
- 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 (8)
- As New, Fine or Near Fine (3)
- Very Good or Good (1)
- Fair or Poor (No further results match this refinement)
- As Described (2)
Binding
Collectible Attributes
- First Edition (No further results match this refinement)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (9)
- Not Print on Demand (12)
Language (1)
Free Shipping
Seller Location
Seller Rating
-
Introduction to Combinators and (lambda) Calculus
Language: English
Published by Cambridge University Press, 1986
ISBN 10: 0521318394 ISBN 13: 9780521318396
Seller: Cotswold Internet Books, Cheltenham, United Kingdom
Seller rating 5 out of 5 stars
Condition: Used - Very Good. VG paperback. London Mathematical Society Student Texts 1. 1986 1st edition with uncreased but slightly faded spine and lightly creased cover; a little wear to edges and corners. Page fore-edges a bit yellowed. Internally, top corner of first page removed; otherwise, a clean, tidy copy. Used - Very Good. VG paperback.
-
Lambda-Calculus and Combinators: An Introduction
Language: English
Published by Cambridge University Press (edition 2), 2008
ISBN 10: 0521898854 ISBN 13: 9780521898850
Hardcover. Condition: New. 2. The item is brand new, never used or read. It's in perfect condition and may include supplements and/or access codes or come shrink-wrapped.
-
Lambda-Calculus and Combinators: An Introduction
Language: English
Published by Cambridge University Press, 2008
ISBN 10: 0521898854 ISBN 13: 9780521898850
Condition: very good. Gut/Very good: Buch bzw. Schutzumschlag mit wenigen Gebrauchsspuren an Einband, Schutzumschlag oder Seiten. / Describes a book or dust jacket that does show some signs of wear on either the binding, dust jacket or pages.
-
Lambda-Calculus and Combinators : An Introduction
Language: English
Published by Cambridge University Press, 2008
ISBN 10: 0521898854 ISBN 13: 9780521898850
Condition: New.
-
Lambda-Calculus and Combinators: An Introduction
Language: English
Published by Cambridge University Press, 2008
ISBN 10: 0521898854 ISBN 13: 9780521898850
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 73.81
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Lambda-Calculus and Combinators : An Introduction
Language: English
Published by Cambridge University Press, 2008
ISBN 10: 0521898854 ISBN 13: 9780521898850
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New.
-
Lambda-Calculus and Combinators
Language: English
Published by Cambridge University Press, GB, 2008
ISBN 10: 0521898854 ISBN 13: 9780521898850
Seller: Rarewaves.com USA, London, LONDO, United Kingdom
Seller rating 5 out of 5 stars
Hardback. Condition: New. Combinatory logic and lambda-calculus, originally devised in the 1920s, have since developed into linguistic tools, especially useful in programming languages. The authors' previous book served as the main reference for introductory courses on lambda-calculus for over 20 years: this version is thoroughly revised and offers an account of the subject with the same authoritative exposition. The grammar and basic properties of both combinatory logic and lambda-calculus are discussed, followed by an introduction to type-theory. Typed and untyped versions of the systems, and their differences, are covered. Lambda-calculus models, which lie behind much of the semantics of programming languages, are also explained in depth. The treatment is as non-technical as possible, with the main ideas emphasized and illustrated by examples. Many exercises are included, from routine to advanced, with solutions to most at the end of the book.
-
Lambda-Calculus and Combinators : An Introduction
Language: English
Published by Cambridge University Press, 2008
ISBN 10: 0521898854 ISBN 13: 9780521898850
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
£ 138.99
£ 15 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
-
Lambda-Calculus and Combinators
Language: English
Published by Cambridge University Press, GB, 2008
ISBN 10: 0521898854 ISBN 13: 9780521898850
Hardback. Condition: New. Combinatory logic and lambda-calculus, originally devised in the 1920s, have since developed into linguistic tools, especially useful in programming languages. The authors' previous book served as the main reference for introductory courses on lambda-calculus for over 20 years: this version is thoroughly revised and offers an account of the subject with the same authoritative exposition. The grammar and basic properties of both combinatory logic and lambda-calculus are discussed, followed by an introduction to type-theory. Typed and untyped versions of the systems, and their differences, are covered. Lambda-calculus models, which lie behind much of the semantics of programming languages, are also explained in depth. The treatment is as non-technical as possible, with the main ideas emphasized and illustrated by examples. Many exercises are included, from routine to advanced, with solutions to most at the end of the book.
-
Lambda-Calculus and Combinators: An Introduction
Language: English
Published by Cambridge University Press, 2008
ISBN 10: 0521898854 ISBN 13: 9780521898850
Hardcover. Condition: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
-
Lambda-Calculus and Combinators : An Introduction
Language: English
Published by Cambridge University Press, 2008
ISBN 10: 0521898854 ISBN 13: 9780521898850
Condition: As New. Unread book in perfect condition.
-
Combinatory Logic. Volume I and Volume II. (= Studies in logic and the foundations of mathematics).
Language: English
Published by Amsterdam, North-Holland Publishing Company 1968 / 1972., 1968
ISBN 10: 0720422086 ISBN 13: 9780720422085
Seller: Antiquariat An der Vikarie, Grafschaft-Leimersdorf, Germany
Association Member: GIAQ
Seller rating 5 out of 5 stars
Vol. I in second printing 1968. XVI/417, XIV/520 pp., ex-library copy with label on covers and stamps, spines slightly rubbed and with little residues of a library-signature, 2 pages in Vol. I with little underlinings, else good and clean, text in English, BITTE BEACHTEN: Aufgrund des höheren Gewichtes sind zusätzliche Versandkosten für den Versand außerhalb der EU erforderlich. PLEASE NOTE: This is a heavy book / set, that requires additional postage for international delivery outside EU. Sprache: Englisch Gewicht in Gramm: 1840 original hardcover (no dust jackets),
-
Hardcover. Condition: Brand New. 2nd edition. 360 pages. 9.25x6.00x1.00 inches. In Stock. This item is printed on demand.
-
Gebunden. Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book gives an account of combinatory logic and lambda-calculus. The grammar and basic properties of both systems are discussed, followed by explanations of type-theory and lambda-calculus models. The treatment is as non-technical as possible with many .
