Troelstra a s (73 resultados)

Condición: 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.…

Condición: 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. Condición: Good. No Jacket. Hardcover - clean, no marks, clean inside, no dj - from a private collection -.

Paperback. Condición: 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.

Softcover. Condición: 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.…

Condición: 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.

Hardcover. Condición: New. Brand new book, sourced directly from publisher. Dispatch time is 9-10 days from our warehouse. Book will be sent in robust, secure packaging to ensure it reaches you securely.

Broschiert. Condición: 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.…

hardcover. Condición: 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.

Condición: New.

Paperback or Softback. Condición: New. Constructivism in Mathematics, 121: An Introduction. Book.

Condición: As New. Unread book in perfect condition.

Condición: As New. Unread book in perfect condition.

gebundene Ausgabe. Condición: 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. …

Condición: New.

Condición: New.

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

Paperback. Condición: 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.…

Condición: New. In English.

Condición: New.

Condición: New.

Hardcover. Condición: Brand New. 250 pages. 9.25x6.50x1.25 inches. In Stock.

Paperback. Condición: New.

Condición: As New. Unread book in perfect condition.

Condición: New. In English.

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

Softcover/Paperback. Condición: 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.

Condición: As New. Unread book in perfect condition.

Hardback. Condición: New. New copy - Usually dispatched within 4 working days.

Paperback / softback. Condición: New. New copy - Usually dispatched within 3 working days.