Order Total (1 Item Items):
Shipping Destination:
Troelstra a S (76 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (76)
- 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
Binding
Collectible Attributes
- First Edition (4)
- Signed (No further results match this refinement)
- Dust Jacket (3)
- Seller-Supplied Images (32)
- Not Print on Demand (60)
Language (3)
Free Shipping
Seller Location
Seller Rating
-
Lectures on Linear Logic (Volume 29) (Lecture Notes)
Language: English
Published by Center for the Study of Language, 1992
ISBN 10: 0937073776 ISBN 13: 9780937073773
Seller: Books From California, Simi Valley, CA, U.S.A.
Seller rating 4 out of 5 stars
Paperback. Condition: Good. No dust jacket. Ex-library copy with stamps and stickers. The copy shows minor external wear, but is in otherwise clean condition.
-
Basic proof Theory
Language: English
Published by Cambridge University Press, 1996
ISBN 10: 0521572231 ISBN 13: 9780521572231
Hardcover. Condition: Good. No Jacket. Hardcover - clean, no marks, clean inside, no dj - from a private collection -.
-
Basic Proof Theory (Cambridge Tracts in Theoretical Computer Science) (Volume 43)
Language: English
Published by Cambridge University Press, 1996
ISBN 10: 0521572231 ISBN 13: 9780521572231
Condition: Fair. Volume 43. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. 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,750grams, ISBN:9780521572231.
-
Basic Proof Theory
Language: English
Published by Cambridge University Press, 2000
ISBN 10: 0521779111 ISBN 13: 9780521779111
Paperback. Condition: Very Good. In great condition.The pages are clean and intact and the binding is tight. Buy with confidence - satisfaction guaranteed.; 6 X 1.08 X 9 inches; 432 pages; Reduced price by 10% on June 19, 2025.
-
Condition: Good. First Edition. Al eeuwenlang hebben onderzoekers en liefhebbers reizen gemaakt om flora, fauna en gesteenten te onderzoeken en te verzamelen. Velen deden daarvan verslag; hun reisverhalen slaan een brug tussen wetenschap en literatuur. De reizigers vormden een bont gezelschap. Onder hen bevonden zich naast wetenschappers een beroepsmilitair, een predikant, een romanschrijver en schilders. De verhalen zijn al net zo gevarieerd als de reizigers zelf. In dit boek wordt voor een brede kring van ge?nteresseerden een uitgebreide selectie van reisverhalen besproken, ge?llustreerd met talrijke citaten. Daarnaast wordt biografische informatie over de reizenden gegeven, en waar relevant de betekenis van reis en reiziger binnen de geschiedenis van de biologie.; Nauwelijks zichtbare fijne leeslijntjes in de rug, overigens onberispelijk.
-
Constructivism in Mathematics: An Introduction, vol. 1 Studies in Logic and the Foundations of Mathematics, vol. 121
Language: English
Published by North-Holland, 1988
Seller: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Germany
Seller rating 5 out of 5 stars
Broschiert. Condition: Gut. 342 Seiten; Das hier angebotene Buch stammt aus einer teilaufgelösten Bibliothek und kann entsprechende Kennzeichnungen aufweisen (Rückenschild, Instituts-Stempel.). Aufgrund des Alters und der häufigen Nutzung können Stabilität, Einband sowie Papierqualität beeinträchtigt sein. In ENGLISCHER Sprache. Sprache: Englisch Gewicht in Gramm: 525.
-
Condition: New.
-
Constructivism in Mathematics, 121: An Introduction (Paperback or Softback)
Language: English
Published by North-Holland 8/1/1988, 1988
ISBN 10: 0444705066 ISBN 13: 9780444705068
Paperback or Softback. Condition: New. Constructivism in Mathematics, 121: An Introduction. Book.
-
Condition: As New. Unread book in perfect condition.
-
Basic Proof Theory (Cambridge Tracts in Theoretical Computer Science, Series Number 43)
Language: English
Published by Cambridge University Press, 1996
ISBN 10: 0521572231 ISBN 13: 9780521572231
Seller: Friends of Pima County Public Library, Tucson, AZ, U.S.A.
Seller rating 5 out of 5 stars
hardcover. Condition: Good. Hardcover. NOT Ex-library. Good condition. No dust jacket. Until further notice, USPS Priority Mail only reliable option for Hawaii. Proceeds benefit the Pima County Public Library system, which serves Tucson and southern Arizona.
-
Basic Proof Theory
Language: English
Published by Cambridge University Press, 2000
ISBN 10: 0521779111 ISBN 13: 9780521779111
Condition: As New. Unread book in perfect condition.
-
Lectures on Linear Logic CSLI Lectures Notes, 29
Language: English
Published by Center for the Study of Language and Information Publica Tion, 1992
ISBN 10: 0937073784 ISBN 13: 9780937073780
Seller: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Germany
Seller rating 5 out of 5 stars
gebundene Ausgabe. Condition: Gut. 200 Seiten Das hier angebotene Buch stammt aus einer teilaufgelösten Bibliothek und kann die entsprechenden Kennzeichnungen aufweisen (Rückenschild, Instituts-Stempel.); der Buchzustand ist ansonsten ordentlich und dem Alter entsprechend gut. In ENGLISCHER Sprache. Sprache: Englisch Gewicht in Gramm: 545.
-
Constructivism in Mathematics
Language: English
Published by Elsevier Science and Technology, US, 1988
ISBN 10: 0444705066 ISBN 13: 9780444705068
Paperback. Condition: New.
-
Basic Proof Theory
Language: English
Published by Cambridge University Press, 2000
ISBN 10: 0521779111 ISBN 13: 9780521779111
Condition: New.
-
Condition: New.
-
Basic Proof Theory (Cambridge Tracts in Theoretical Computer Science, Series Number 43) (Volume 0)
Language: English
Published by Cambridge University Press, 2000
ISBN 10: 0521779111 ISBN 13: 9780521779111
Condition: New.
-
Constructivism in Mathematics, Vol 1: An Introduction: Volume 121 (Studies in Logic and the Foundations of Mathematics)
Language: English
Published by Elsevier Science 1988-07-01, 1988
ISBN 10: 0444702660 ISBN 13: 9780444702661
£ 44.05
£ 15.49 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketHardcover. Condition: New.
-
Basic Proof Theory
Language: English
Published by Cambridge University Press, GB, 2000
ISBN 10: 0521779111 ISBN 13: 9780521779111
Seller: Rarewaves.com USA, London, LONDO, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: New. This introduction to the basic ideas of structural proof theory contains a thorough discussion and comparison of various types of formalization of first-order logic. Examples are given of several areas of application, namely: the metamathematics of pure first-order logic (intuitionistic as well as classical); the theory of logic programming; category theory; modal logic; linear logic; first-order arithmetic and second-order logic. In each case the aim is to illustrate the methods in relatively simple situations and then apply them elsewhere in much more complex settings. There are numerous exercises throughout the text. In general, the only prerequisite is a standard course in first-order logic, making the book ideal for graduate students and beginning researchers in mathematical logic, theoretical computer science and artificial intelligence. For the new edition, many sections have been rewritten to improve clarity, new sections have been added on cut elimination, and solutions to selected exercises have been included.
-
Constructivism in Mathematics
Language: English
Published by Elsevier Science and Technology, US, 1988
ISBN 10: 0444705066 ISBN 13: 9780444705068
Seller: Rarewaves.com USA, London, LONDO, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: New.
-
Constructivism in Mathematics, Vol 2: An Introduction: v. 2 (Studies in Logic and the Foundations of Mathematics)
Language: English
Published by Elsevier Science 1988-11-01, 1988
ISBN 10: 0444703586 ISBN 13: 9780444703583
£ 50.14
£ 15.49 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketHardcover. Condition: New.
-
Basic Proof Theory (Cambridge Tracts in Theoretical Computer Science, Series Number 43) (Volume 0)
Language: English
Published by Cambridge University Press, 2000
ISBN 10: 0521779111 ISBN 13: 9780521779111
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 54.91
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Basic Proof Theory
Language: English
Published by Cambridge University Press, 2000
ISBN 10: 0521779111 ISBN 13: 9780521779111
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New.
-
Constructivism in Mathematics: Vol 002
Language: English
Published by Elsevier Science Ltd, 1989
ISBN 10: 0444703586 ISBN 13: 9780444703583
Hardcover. Condition: Brand New. 250 pages. 9.25x6.50x1.25 inches. In Stock.
-
Constructivism in Mathematics
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition.
-
Constructivism in Mathematics: An Introduction (Volume 121) (Studies in Logic and the Foundations of Mathematics, Volume 121)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 62.32
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Constructivism in Mathematics
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New.
-
Condition: New.
-
Basic Proof Theory
Language: English
Published by Cambridge University Press, 2000
ISBN 10: 0521779111 ISBN 13: 9780521779111
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition.
-
![Seller image for Principles of Intuitionism. [= Lecture Notes in Mathematics, Bd. 95] for sale by Antiquariat hinter der Stadtmauer](https://pictures.abebooks.com/inventory/md/md30999332674.jpg)
Principles of Intuitionism. [= Lecture Notes in Mathematics, Bd. 95]
Language: English
Published by Berlin, Heidelberg, New York, Springer,, 1969
Seller: Antiquariat hinter der Stadtmauer, Hann. Münden, Germany
Seller rating 5 out of 5 stars
Softcover/Paperback. Condition: Sehr gut. 111 S., 28x21 cm OBroschur, kart. Kanten wenig berieben/bestoßen; innen sauber und fest; sehr gutes Exemplar. Sprache: Englisch Gewicht in Gramm: 300.
-
Constructivism in Mathematics, Vol 1: Volume 121
Language: English
Published by Elsevier Science & Technology, 1988
ISBN 10: 0444702660 ISBN 13: 9780444702661
Seller: THE SAINT BOOKSTORE, Southport, United Kingdom
Seller rating 5 out of 5 stars
£ 59.66
£ 18.15 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketHardback. Condition: New. New copy - Usually dispatched within 4 working days.
