Troelstra (317 results)

Hardcover. Top edge of covers sun-faded, with front cover faintly spotted; corners slightly bumped; nick at outside edge of rear cover; endpapers partially browned; pages slightly edge-browned, with mild foxing on first few; small slit and previous owner's name on front endpaper; otherwise very good condition (no dust jacket). . 125p.…

Hardcover. Small discoloration at outside edge of front cover, extending to fore-edge; end blanks slightly foxed; pages edge-browned and slightly cockled; previous owner's name on title page; otherwise very good condition. Composition book-style binding. . 64p.

Softcover. Covers edge-worn; ends of backstrip lacking; top corner bumped, affecting pages; otherwise very good condition. . 171p.

Hardcover. Covers lightly rubbed; edges of front cover of vol. 4 bumped, with front hinge slightly shaken and cloth wrinkled; endpapers slightly edge-browned; previous owner's name inked on half-title page; otherwise very good condition (no dust jackets). . 4 volumes, separately paged. Illus. Frontispiece in each volume. …

Condition: New.

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

Condition: New.

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.

Originele linnen band met stofomslag. Paar lichte gebruikssporen, nog in (zeer) goede staat. Tekst meest in het Fries, deels met vertalingen. Please see description or ask for photos.

Condition: New.

Condition: As New.

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

Condition: New.

Condition: As New. Unread book in perfect condition.

Condition: New.

Paperback. Condition: New. 1969 ed.

Softcover. Condition: Very Good. fraai brocure uitgegeven door de proaganda commisie.

Condition: New.

1e dr. - 31 pag. - (Onze politieke partijen ; no. 2). - Geniet.

Condition: New.

Soft cover. Condition: Good. 2009; Paperback; goed exemplaar.

Condition: Good. Sewn 224 pp. Light traces of use on cover. Faded cover. 17x 24x1 cm. In very good condition.

Hardback. Condition: Good. 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: Gebraucht / Used. 1919. Or.wrappers. Sl. Damaged. 47pp. Small 8°.

Condition: Good. Utjown 1905 Van Der Velde. Op'e nij biwirke en neigien fen T. E. Halbertsma. Music of the Netherlands. Music and lyric in Dutch. Hardcover. Sm.4to, 180pp., cloth. Good, cover a bit worn, some stains.

Condition: New.

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: Good. 2nd Edition. In goede staat, gebonden in linnen met stofomslag, 159 pp., 2e druk, met illustraties in zwart/wit (foto's) Wordt verzonden als brievenbuspakket.

Hardback. Condition: Good. 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.…

Paperback. 654 pagina's. Als nieuw met enkele vlekjes op de boeksnede, verder in nagenoeg nieuwstaat. Door de eeuwen heen hebben reizende natuurhistorici zich grote inspanningen getroost om onze kennis van flora en fauna uit te breiden; hun reisverslagen vormen boeiende lectuur. Kolibries in de oren vertelt het verhaal van een aantal van deze reizigers, gelardeerd met overvloedige citaten uit de oorspronkelijke teksten. Zo ontmoeten we onder anderen Nikolaj Przjevalski, de man van het przewalskipaard, pater Armand David van het Pater-Davidshert, en Theodore Roosevelt, voormalig president van de Verenigde Staten. De verslagen laten zien hoe de politieke omstandigheden vaak grote invloed hadden op het werk van deze reizigers. Soms wordt er ook gelogen in deze verhalen, en aan de hand van voorbeelden worden de af en toe moeilijk te bepalen grenzen verkend tussen waar en verzonnen. 777g.…