Troelstra (319 résultats)

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

Etat : New.

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

Etat : New.

Paperback. Etat : 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.

Etat : New.

Etat : As New.

Etat : New.

Etat : New. In English.

Etat : As New. Unread book in perfect condition.

Etat : New.

Paperback. Etat : New. 1969 ed.

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

Etat : New.

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

Etat : New.

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

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

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

Etat : Gebraucht / Used. 1919. Or.wrappers. Sl. Damaged. 47pp. Small 8°.

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

Broschiert. Etat : 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.…

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

8vo. 22.8cm. 605 blz., illustr. in tekst, bibliogr. Paperback, geïllustr. omslag. Nieuw exemplaar.

Paperback, 23 cm, 654 pp. Ills.: z/w en kleurenillustraties. Cond.: goed / good. ISBN: 9789045015941.