Gesamtpreis (1 Artikel Artikel):
Versandziel:
anne troelstra (24 Ergebnisse)
Direkt zu den wichtigsten Suchergebnissen
Suchfilter
Produktart
- Alle Product Types
- Bücher (24)
- Magazine & Zeitschriften (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Comics (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Noten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Kunst, Grafik & Poster (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Fotografien (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Karten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Manuskripte & Papierantiquitäten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
Zustand Mehr dazu
- Neu (8)
- Wie Neu, Sehr Gut oder Gut Bis Sehr Gut (2)
- Gut oder Befriedigend (6)
- Ausreichend oder Schlecht (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Wie beschrieben (8)
Einband
Weitere Eigenschaften
- Erstausgabe (1)
- Signiert (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Schutzumschlag (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Angebotsfoto (5)
Sprache (3)
Gratisversand
- Kostenloser Versand nach USA (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
Land des Verkäufers
Verkäuferbewertung
-
Omega-Bibliography of Mathematical Logic VI: Proof Theory, Constructive Mathematics (Perspectives in Mathematical Logic) (Vol 6)
Anbieter: A Squared Books (Don Dewhirst), South Lyon, MI, USA
Verkäuferbewertung 5 von 5 Sternen
Hardcover. Zustand: Very Good. New York, 1987; yellow cloth covered boards; mild shelf wear; 4to - over 9 3/4" to 12" tall; interior pages in like new condition; interior clean and unmarked; 405 pages.
-
Kolibries In De Oren. Natuurhistorische Reisverhalen 1700-1950
Anbieter: Barksdale Books, Almere, Niederlande
Verkäuferbewertung 5 von 5 Sternen
Erstausgabe
Zustand: Good. First Edition. 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.; Enkele leesvouw in de rug. Daarnaast is het boek in goede staat.
-
Principles of Intuitionism: Lectures presented at the Summer Conference on Intuitionism and Proof Theory (1968) at SUNY at Buffalo, NY (Lecture Notes in Mathematics, 95)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 31,86
EUR 13,82 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Tijgers op de Ararat. Natuurhistorische reisverhalen 1700-1950
Verlag: Atlas, 2003
ISBN 10: 9045010828 ISBN 13: 9789045010823
Anbieter: Mooney's bookstore, Den Helder, Niederlande
Verkäuferbewertung 4 von 5 Sternen
Zustand: Very good.
-
Tijgers op de Arafat. Natuurhistorische reisverhalen 1700-1950.
Verlag: Amsterdam: Uitgeverij Atlas, 2003
Anbieter: Aquila Antiquariaat, Lochem, GLD, Niederlande
Verkäuferbewertung 3 von 5 Sternen
8vo. 22.8cm. 605 blz., illustr. in tekst, bibliogr. Paperback, geïllustr. omslag. Nieuw exemplaar.
-
Tijgers op de Ararat. Natuurhistorische reisverhalen 1700-1950.
Verlag: Amsterdam-Antwerpen, Uitgeverij Atlas. 2003, 2003
ISBN 10: 9045010828 ISBN 13: 9789045010823
Anbieter: Antiquariaat Schot, Hendrik-Ido-Ambacht, Niederlande
Verkäuferbewertung 5 von 5 Sternen
Original publisher's paperback, pictorial frontcover, thick large 8vo: 606pp.,illustrations, maps, sources, credits illustrations, general bibliography, index. Very fine copy.
-
Constructivism in Mathematics Vol.1
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
EUR 56,07
EUR 7,50 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 3 verfügbar
In den WarenkorbZustand: New. pp. 380 52:B&W 6.14 x 9.21in or 234 x 156mm (Royal 8vo) Case Laminate on White w/Gloss Lam.
-
De toestand der Catechese in Nederland gedurende de vóór-reformatorische eeuw
Verlag: Groningen, J.B. Wolters 1901, 1901
Anbieter: Antiquariaat Schot, Hendrik-Ido-Ambacht, Niederlande
Verkäuferbewertung 5 von 5 Sternen
228 p. Paperback, rug geplakt.
-
De toestand der catechese in Nederland gedurende de vóór-reformatorische eeuw
Verlag: Groningen, J.B. Wolters 1901, 1901
Anbieter: Antiquariaat Schot, Hendrik-Ido-Ambacht, Niederlande
Verkäuferbewertung 5 von 5 Sternen
228 p. Paperback, rug verstevigd met linnen.
-
Metamathematical Investigation of Intuitionistic Arithmetic and Analysis (Lecture Notes in Mathematics, 344)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 72,54
EUR 13,82 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
The L. E. J. Brouwer Centenary Symposium. Studies in logic and the foundations of mathematics 110.
Sprache: Englisch
Verlag: Amsterdam [u.a.] : North-Holland Publ. Comp., 1982
ISBN 10: 0444864946 ISBN 13: 9780444864949
Anbieter: Wissenschaftliches Antiquariat Köln Dr. Sebastian Peters UG, Köln, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: gut. IX, 523 S., Abb., 23 cm, Bibliotheksexemplar, Einband leicht fleckig, gebräunt, untere Einbandkante mit leichter Druckstelle. Sprache: Englisch.
-
Principles of Intuitionism : Lectures presented at the Summer Conference on Intuitionism and Proof Theory (1968) at SUNY at Buffalo, NY
Sprache: Englisch
Verlag: Springer, Springer Spektrum, 1969
ISBN 10: 3540046143 ISBN 13: 9783540046141
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Logic.- Elementary arithmetic.- Species.- Sequences and constructive (lawlike) objects.- Elementary theory of real numbers.- Ordering relations and order on the real line.- Constructive or lawlike analysis.- Lawless sequences of natural numbers.- Choice sequences.- Spreads and a theory of real numbers.- Topology; separable metric spaces.- Applications of the continuity principles and the fan theorem.- Well-orderings and ordinals.- Species revisited; the role of the comprehension principle.- Brouwer's theory of the creative subject.
-
Kolibries in de oren: natuurhistorische reisverhalen 1700-1950
Anbieter: Mooney's bookstore, Den Helder, Niederlande
Verkäuferbewertung 4 von 5 Sternen
Zustand: Very good.
-
Tijgers op de Ararat. Natuurhistorische reisverhalen 1700-1950
Verlag: Atlas, 2003
ISBN 10: 9045010828 ISBN 13: 9789045010823
Anbieter: Mooney's bookstore, Den Helder, Niederlande
Verkäuferbewertung 4 von 5 Sternen
Zustand: Very good.
-
Tijgers op de Ararat. Natuurhistorische reisverhalen 1700-1950.
Anbieter: Rob Kok Old Books & Prints, Loosdrecht, NH, Niederlande
Verkäuferbewertung 4 von 5 Sternen
Amst. & Antwerpen, Atlas, 2003. 605 blz. Geïll. Paperback. Fraai. #9045010828. [52135].
-
Omega-Bibliography of Mathematical Logic. Vol. VI: Proof Theory. Constructive Mathematics.
Sprache: Englisch
Verlag: Springer Verlag, Berlin, Heidelberg, New York et. al., 1987, 1987
ISBN 10: 3540155244 ISBN 13: 9783540155249
Anbieter: Antiquariat Stefan Wulf, Berlin, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Org.-Hardcover. Quart, XLI, 405 S., einwandfreies, frisches Exemplar. [=Omega-Bibliography of Mathematical Logic. Edited by Gert H. Müller in Collaboration with Wolfgang Lenski. Vol. VI] - ENGLISH: In-quarto, xli, 405 pp., clean, fresh copy. ISBN 3540155244 UND 0387155244. [=Omega-Bibliography of Mathematical Logic. Edited by Gert H. Müller in Collaboration with Wolfgang Lenski. Vol. VI] - ENGLISH: In-quarto, xli, 405 pp., clean, fresh copy. ISBN 3540155244 UND 038715524#4. 2000 g.
-
Basic Proof Theory
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 94,46
EUR 14,42 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 2nd sub edition. 417 pages. 8.75x6.00x0.75 inches. In Stock.
-
Basic Proof Theory
Sprache: Englisch
Verlag: Cambridge University Press, 2002
ISBN 10: 0521779111 ISBN 13: 9780521779111
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.
-
Metamathematical Investigation of Intuitionistic Arithmetic and Analysis
Sprache: Englisch
Verlag: Springer, Springer Vieweg, 1973
ISBN 10: 3540064915 ISBN 13: 9783540064916
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Intuitionistic formal systems.- Models and computability.- Realizability and functional interpretations.- Normalization theorems for systems of natural deduction.- Applications of Kripke models.- Iterated inductive definitions, trees and ordinals.- Erratum.
-
Basic Proof Theory
Sprache: Englisch
Verlag: Cambridge University Press, 2000
ISBN 10: 0521779111 ISBN 13: 9780521779111
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Introduction to proof theory and its applications in mathematical logic, theoretical computer science and artificial intelligence.
-
Zustand: Sehr gut. Zustand: Sehr gut | Seiten: 504 | Sprache: Englisch | Produktart: Bücher | Intuitionistic formal systems.- Models and computability.- Realizability and functional interpretations.- Normalization theorems for systems of natural deduction.- Applications of Kripke models.- Iterated inductive definitions, trees and ordinals.- Erratum.
-
Proof Theory, Constructive Mathematics
Sprache: Englisch
Verlag: Springer-Verlag GmbH & Co. KG, 1987
ISBN 10: 3540155244 ISBN 13: 9783540155249
Zustand: Sehr gut. Zustand: Sehr gut | Seiten: 405 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.
-
De toestand der Catechese in Nederland gedurende de vóór-reformatorische eeuw.
Verlag: Groningen, 1901, 1901
Anbieter: Antiquariaat De Keerkring, Malden, Niederlande
Verkäuferbewertung 5 von 5 Sternen
Groningen, 1901 (thesis Utrecht). Halflinnen, gedecoreerde privé band. viii-231 p.
-
A Bibliography of natural history travel narratives. Editor and bibliographical assistance Cis van Heertum.
Anbieter: Gert Jan Bestebreurtje Rare Books (ILAB), Vianen, Niederlande
Verkäuferbewertung 5 von 5 Sternen
Leiden, KITLV, 2016. Boards. 482 pp. Anne Troelstra's fine bibliography is an outstanding and ground-breaking work.He has provided 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. He gives a superb overview 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. - A must for any collector of works of exploration.
