A S Troelstra (70 results)

Condition: good. A copy that has been read, remains in good condition. All pages are intact, and the cover is intact. The spine and cover show signs of wear. Pages can include notes and highlighting and show signs of wear, and the copy can include "From the library of" labels or previous owner inscriptions. 100% GUARANTEE! Shipped with delivery confirmation, if you're not satisfied with purchase please return item! Ships via media mail.…

Hardcover. Condition: Good. No Jacket. Hardcover - clean, no marks, clean inside, no dj - from a private collection -.

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: Very Good. Most items will be dispatched the same or the next working day. A copy that has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged.

Softcover. 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.…

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.

Paperback or Softback. Condition: New. Constructivism in Mathematics, 121: An Introduction. Book.

Condition: As New. Unread book in perfect condition.

Condition: As New. Unread book in perfect condition.

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. …

Condition: New.

Condition: New.

HRD. Condition: Used - Very Good. Used - Like New Book. Shipped from UK. Established seller since 2000.

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.…

Condition: New.

Paperback. Condition: New.

Condition: As New. Unread book in perfect condition.

Condition: New. In English.

Paperback. Condition: Brand New. 2nd sub edition. 417 pages. 8.75x6.00x0.75 inches. In Stock.

Condition: New.

Condition: As New. Unread book in perfect condition.

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.

Condition: New. In English.

Hardcover. Condition: Near Fine. Dust Jacket Condition: Near Fine. 1st Edition. ix, 170 pp. Original cloth. Near Fine, in near fine- dust jacket (rear panel sunned, price-clipped). Oxford Logic Guides.

Condition: New. pp. 432 2nd Edition.

Paperback. Condition: Brand New. 606 pages. 9.25x6.00x1.37 inches. In Stock.

Paperback. Condition: Brand New. 2nd sub edition. 417 pages. 8.75x6.00x0.75 inches. In Stock.

Hardcover. Condition: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.

Condition: New. The present volume is completely self contained, and would make an excellent choice of text for an introductory course on its subject. Most of the material has been tried our in courses at Amsterdam and Utrecht each chapter has a good collection of exe.