Troelstra a s (65 Ergebnisse)

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

Paperback. Zustand: 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. Zustand: 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. Zustand: 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.…

Zustand: New.

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

Zustand: As New. Unread book in perfect condition.

gebundene Ausgabe. Zustand: 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. …

Zustand: As New. Unread book in perfect condition.

Paperback. Zustand: New. Brand new book, sourced directly from publisher. Dispatch time is 24-48 hours from our warehouse. Book will be sent in robust, secure packaging to ensure it reaches you securely.

Zustand: New.

Zustand: New.

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

Paperback. Zustand: 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.…

Zustand: New.

Paperback. Zustand: New.

Zustand: As New. Unread book in perfect condition.

Zustand: New. In English.

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

Zustand: New.

Zustand: As New. Unread book in perfect condition.

Paperback / softback. Zustand: New. New copy - Usually dispatched within 3 working days.

Zustand: New. In English.

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

Zustand: New. pp. 432 2nd Edition.

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

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

Zustand: 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.

Zustand: New. This is an introduction to the basic ideas of structural proof theory. 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.

Zustand: New. Studies in Logic and the Foundations of Mathematics, Volume 123: Constructivism in Mathematics: An Introduction, Vol. II focuses on various studies in mathematics and logic, including metric spaces, polynomial rings, and Heyting algebras. .