troelstra a s (31 Ergebnisse)

Zustand: Fair. Volume 43. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. In fair condition, suitable as a study copy. No dust jacket. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,750grams, ISBN:9780521572231.

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: Good. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.

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

Zustand: New. In.

Paperback. Zustand: Good. No dust jacket. Ex-library copy with stamps and stickers. The copy shows minor external wear, but is in otherwise clean condition.

Hardcover. Zustand: Brand New. 250 pages. 9.25x6.50x1.25 inches. In Stock.

Zustand: New. In.

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

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

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

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. Introduction to proof theory and its applications in mathematical logic, theoretical computer science and artificial intelligence. Series Editor(s): Van Rijsbergen, C. J.; Abramsky, S.; Aczel, P. H.; Bakker, J. W. de; Gurevich, Y.; Tucker, J. V. Series: Cambridge Tracts in Theoretical Computer Science. Num Pages: 432 pages, 3 b/w illus. 201 exercises. BIC Classification: PBCD; UYA. Category: (P) Professional & Vocational. Dimension: 229 x 153 x 26. Weight in Grams: 656. Series: Cambridge Tracts in Theoretical Computer Science. 432 pages, 3 b/w illus. 201 exercises. Introduction to proof theory and its applications in mathematical logic, theoretical computer science and artificial intelligence. Cateogry: (P) Professional & Vocational. BIC Classification: PBCD; UYA. Dimension: 229 x 153 x 26. Weight: 668. Series Editor(s) :Van Rijsbergen, C. J.; Abramsky, S.; Aczel, P.H.; Bakker, J. W. de; Gurevich, Y.; Tucker, J.V. . 2000. 2nd Edition. Paperback. . . . . Books ship from the US and Ireland.

LOGIQUETROELSTRA (A.S.), SCHWICHTENBERG (H.).Basic Proof Theory.Cambridge U.P., 1996, in-8°, cart. édit., lég. mouill. sur page de garde. 700 gr.

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.

Gebundene Ausgabe. Zustand: Gut. IX, 170 S. graph. Darst. In English language. Clothbound with title to spine, without = no dust jacket. Former library copy with external labelings removed from boards. Boards slightly rubbed, spine and edges slightly discoloured, otherwise with apparently clean text and well preserved. Signature stamps on endpapers and title. + + + Originalleineneinband mit Rückenbetitelung, ohne Schutzumschlag. Ordentlich ausgesondertes Bibliothekesexmplar mit entfernten äußerlichen Kennzeichnungen. Einband leicht berieben, Rücken und -ränder etwas aufgehellt, Schnitt wenig nachgedunkelt, sonst augenscheinlich textsauber u. gepflegt. Signatur- / Entwidmungsstempel a. Vorsatz, Titel und Schnitt. 019853163X Werktäglicher Versand. Jede Lieferung m. ordentl. Rechnung und ausgew. MwSt. Der Versand erfolgt als Büchersendung / Einschreiben mit der Deutschen Post bzw. als Päckchen / Paket mit DHL. Die Lieferzeit ist abhängig von der Versandart und beträgt innerhalb Deutschlands 3-5 Tage, in der EU 5 - 12 Tage. KEIN Versand an Packstationen. Körperschaften und juristische Personen werden auf Wunsch per offener Rechnung beliefert. ***ATTENTION U.S. CUSTOMERS: Due to the new tariffs, we are unable to ship packages to the USA at this time. Thank you for understanding.*** Sprache: Englisch Gewicht in Gramm: 545.

Zustand: New. In.

Zustand: New. 482, . 280x200mm. HB. NEW. . An outstanding and ground-breaking work, providing the academic world with a long-needed bibliographical record of human endeavour in the field of the natural sciences.The travel narratives listed here encompass all aspects of the natural world in every part of the globe, but are especially concerned with its fauna, flora and fossil remains. Such eyewitness accounts have always fascinated their readers, but they were never written solely for entertainment: fragmentary though they often are, these narratives of travel and exploration are of immense importance for our scientific understanding of life on earth, providing us with a window on an ever changing, and often vanishing, natural world. Without such records of the past we could not track, document or understand the significance of changes that are so important for the study of zoogeography.With this book the author gives us a superb overview of natural history travel narratives. The well over four thousand detailed entries, ranging over four centuries and all major western European languages, are drawn from a wide range of sources and include both printed books and periodical contributions. The entries are arranged alphabetically by author and chronologically, by the year of first publication, under the author's name. A brief biography, with the scope and range of their work, is given for each author; every title is set in context, the contents including illustrations are described and all known editions and translations are cited. In addition, there is a geographical index that cross refers between authors and the regions visited, and a full list of the bibliographical and biographical sources used in compiling the bibliography. [9789050115964].

Gebunden. Zustand: New. These two volumes cover the principal approaches to constructivism in mathematics. They present a thorough, up-to-date introduction to the metamathematics of constructive mathematics, paying special attention to Intuitionism, Markov s constructivism and .

Hardcover. Zustand: Brand New. 358 pages. 9.25x6.25x1.00 inches. In Stock.

Hardcover. Zustand: Near Fine. Zustand des Schutzumschlags: Very Good. First edition. 8vo. [5], vi-ix, [2], 2-170 pp. Blue textured paper over boards with gold lettering on the spine. Volume 3 in the Oxford Logic Guides series. In intuitionistic mathematics, choice sequences are constructions used to replace the actual infinite sequences of classical mathematics. Based on a series of lectures delivered at Oxford in 1973, this book is a comprehensive (as of the mid-1970s) survey of the theory of choice sequences. A Near Fine book with a tiny sticker ghost on the front endpaper in a Very Good price-clipped dust jacket with significant sunning to the spine panel.

orig. wrappers. Zustand: Minor wear. VG. 24x16cm, xvii,485 pp., Weighs 900 grams. Series: Lecture Notes in Mathematics, 525.

University of Amsterdam 1974 stencil, 26 blz. Report 74-16 (code Sc-44).

University of Amsterdam 1978 stencil, 40 blz. Report 78-08 (code Sc-44).

University of Amsterdam 1976 stencil, 27 blz. Report 76-05 (code Sc-44).

University of Amsterdam 1975 stencil, 62 blz. Report 74-05 (code Sc-44).

University of Amsterdam 1979 stencil, 43 blz. Report 79-08 (code Sc-44).

University of Amsterdam 1980 stencil, 44 blz. Report 80-09 (code Sc-44).