J Lambek (55 results)

Soft cover. Condition: As New. Softcover, 261 pgs. As new.

Condition: Very Good. 1st Edition. Former library copy. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good. …

paperback. Condition: Very Good. Very Good paperback with light shelfwear - NICE! Standard-sized.

X, 327 p. Hardcover. Versand aus Deutschland / We dispatch from Germany via Air Mail. Einband bestoßen, daher Mängelexemplar gestempelt, sonst sehr guter Zustand. Imperfect copy due to slightly bumped cover, apart from this in very good condition. Stamped. Undergraduate Texts in Mathematics. Sprache: Englisch. …

Paperback. Condition: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority.

paperback. Condition: Good. Satisfaction 100% guaranteed.

Condition: Good. McGill University Press, 1965. Cover lightly soiled/rubbed, exposed staples at rear, corners lightly rubbed/bumped, front bottom corner clipped, significant tearing along spine, significant chip out of top spine end; edges lightly soiled; ffep has partially removed sticker; pages lightly soiled; cover, edges, and interior intact and clean except as noted. Due to the size of this item, additional shipping charges may apply. paperback. Good.…

hardcover. Condition: New. As new clean tight and bright Please email for photos. Larger books or sets may require additional shipping charges. Books sent via US Postal.

Ed. North-Holland, Amsterdam - 1974, in-8, broché, 243 pages (table des matières sur la photo) Bon état - Pour les envois hors de France, la tafication «livre & brochure» pour les frais de port a disparue.Les frais de port annoncés correspondent à une moyenne. Ils seront calculés au plus juste en fonction du poids de votre article.…

Condition: Fine. 8vo. pp 327. Fine. First Edition. Hardback. No Dustjacket.

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: Fair. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. Book contains pencil markings. In fair condition, suitable as a study copy. No dust jacket. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,450grams, ISBN.…

Condition: Poor. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. Book contains pencil markings. In poor condition, suitable as a reading copy. No dust jacket. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,450grams, ISBN.…

Condition: New. New. In shrink wrap. Looks like an interesting title! 1.37.

Condition: Used. pp. 348.

Condition: New. In.

Condition: Used. pp. 348 52:B&W 6.14 x 9.21in or 234 x 156mm (Royal 8vo) Case Laminate on White w/Gloss Lam.

Condition: Used. pp. 348.

Condition: As New. Unread book in perfect condition.

Condition: New.

Condition: New.

Condition: New. pp. 344.

Condition: New. In.

Condition: New.

Paperback. Condition: New. Illustrated. In this book the authors reconcile two different viewpoints of the foundations of mathematics, namely mathematical logic and category theory. In Part I, they show that typed lambda-calculi, a formulation of higher order logic, and cartesian closed categories are essentially the same. In Part II, it is demonstrated that another formulation of higher order logic (intuitionistic type theories) is closely related to topos theory. Part III is devoted to recursive functions. Numerous applications of the close relationship between traditional logic and the algebraic language of category theory are given. The authors have included an introduction to category theory and develop the necessary logic as required, making the book essentially self-contained. Detailed historical references are provided throughout, and each section concludes with a set of exercises. Thus it is well-suited for graduate courses and research in mathematics and logic. Researchers in theoretical computer science, artificial intelligence and mathematical linguistics will also find this an accessible introduction to a subject of increasing application to these disciplines.…

Condition: As New. Unread book in perfect condition.

Condition: New. In.

Condition: As New. Unread book in perfect condition.

Condition: New.

Condition: New.