Troelstra anne (24 Ergebnisse)
Omega-Bibliography of Mathematical Logic VI: Proof Theory, Constructive Mathematics (Perspectives in Mathematical Logic) (Vol 6)
Kister, Jane E. [Editor]; Dalen, Dirk van [Editor]; Troelstra, Anne [Editor]; Müller, Gert H. [Editor]; Lenski, Wolfgang [Assistant];
- Hardcover
Anbieter: A Squared Books (Don Dewhirst), South Lyon, MI, USAA Squared Books (Don Dewhirst)
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Gut
EUR 19,02
EUR 5,64 VersandVersand innerhalb von USAAnzahl: 2 verfügbar
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.
- Softcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 31,91
EUR 13,85 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
- Softcover
Anbieter: Mooney's bookstore, Den Helder, NiederlandeMooney's bookstore
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Gebraucht - Gut
EUR 18,02
EUR 14,95 VersandVersand von Niederlande nach USAAnzahl: 1 verfügbar
Zustand: Very good.
Verlag: Amsterdam: Uitgeverij Atlas 2003
- Softcover
Anbieter: Aquila Antiquariaat, Lochem, GLD, NiederlandeAquila Antiquariaat
Verkäufer/-in kontaktierenVerkäufer/-in mit 3 SternenZustand: Gebraucht
EUR 17,50
EUR 21,00 VersandVersand von Niederlande nach USAAnzahl: 1 verfügbar
8vo. 22.8cm. 605 blz., illustr. in tekst, bibliogr. Paperback, geïllustr. omslag. Nieuw exemplaar.
Sprache: Niederländisch
Verlag: Amsterdam-Antwerpen, Uitgeverij Atlas. 2003 2003
- Softcover
Anbieter: Antiquariaat Schot, Hendrik-Ido-Ambacht, NiederlandeAntiquariaat Schot
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht
EUR 13,80
EUR 25,00 VersandVersand von Niederlande nach USAAnzahl: 1 verfügbar
Original publisher's paperback, pictorial frontcover, thick large 8vo: 606pp.,illustrations, maps, sources, credits illustrations, general bibliography, index. Very fine copy.
- Hardcover
Anbieter: Majestic Books, Hounslow, , Vereinigtes KönigreichMajestic Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Neu
EUR 56,82
EUR 7,51 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 3 verfügbar
Zustand: New. pp. 380 52:B&W 6.14 x 9.21in or 234 x 156mm (Royal 8vo) Case Laminate on White w/Gloss Lam.
Verlag: Groningen, J.B. Wolters 1901 1901
- Softcover
Anbieter: Antiquariaat Schot, Hendrik-Ido-Ambacht, NiederlandeAntiquariaat Schot
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht
EUR 18,40
EUR 25,00 VersandVersand von Niederlande nach USAAnzahl: 1 verfügbar
228 p. Paperback, rug verstevigd met linnen.
Verlag: Groningen, J.B. Wolters 1901 1901
- Softcover
Anbieter: Antiquariaat Schot, Hendrik-Ido-Ambacht, NiederlandeAntiquariaat Schot
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht
EUR 18,40
EUR 25,00 VersandVersand von Niederlande nach USAAnzahl: 1 verfügbar
228 p. Paperback, rug geplakt.
Sprache: Englisch
Verlag: Amsterdam [u.a.] : North-Holland Publ. Comp. 1982
- Hardcover
Anbieter: Wissenschaftliches Antiquariat Köln Dr. Sebastian Peters UG, Köln, , DeutschlandWissenschaftliches Antiquariat Köln Dr. Sebastian Peters UG
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Gut
EUR 75,00
EUR 10,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Zustand: gut. IX, 523 S., Abb., 23 cm, Bibliotheksexemplar, Einband leicht fleckig, gebräunt, untere Einbandkante mit leichter Druckstelle. Sprache: Englisch.
- Softcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 72,67
EUR 13,85 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
- Softcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 26,70
EUR 60,95 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
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.- Cho…ice 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.
- Softcover
Anbieter: Mooney's bookstore, Den Helder, NiederlandeMooney's bookstore
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Gebraucht - Gut
EUR 39,93
EUR 14,95 VersandVersand von Niederlande nach USAAnzahl: 1 verfügbar
Zustand: Very good.
- Softcover
Anbieter: Mooney's bookstore, Den Helder, NiederlandeMooney's bookstore
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Gebraucht - Gut
EUR 39,93
EUR 14,95 VersandVersand von Niederlande nach USAAnzahl: 1 verfügbar
Zustand: Very good.
Weitere Bilder- Softcover
Anbieter: preigu, Osnabrück, Deutschlandpreigu
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 26,55
EUR 70,00 VersandVersand von Deutschland nach USAAnzahl: 5 verfügbar
Taschenbuch. Zustand: Neu. Principles of Intuitionism | Lectures presented at the Summer Conference on Intuitionism and Proof Theory (1968) at SUNY at Buffalo, NY | Anne S. Troelstra | Taschenbuch | Lecture Notes in Mathematics | Einband - flex.(Paperback) | Englisch | Springer | EAN 9783540046141 | Verantwortliche Person für di…e EU: Springer Nature Customer Service Center GmbH, Europaplatz 3, 69115 Heidelberg, productsafety[at]springernature[dot]com | Anbieter: preigu.
- Softcover
Anbieter: Rob Kok Old Books & Prints, Loosdrecht, NH, NiederlandeRob Kok Old Books & Prints
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Gebraucht
EUR 17,00
EUR 26,00 VersandVersand von Niederlande nach USAAnzahl: 1 verfügbar
Amst. & Antwerpen, Atlas, 2003. 605 blz. Geïll. Paperback. Fraai. #9045010828. [52135].
Sprache: Englisch
Verlag: Springer Verlag, Berlin, Heidelberg, New York et. al., 1987 1987
- Hardcover
Anbieter: Antiquariat Stefan Wulf, Berlin, , DeutschlandAntiquariat Stefan Wulf
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht
EUR 80,00
EUR 25,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
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 Ge…rt 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.
- Softcover
Anbieter: Revaluation Books, Exeter, , Vereinigtes KönigreichRevaluation Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 94,88
EUR 14,45 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
Paperback. Zustand: Brand New. 2nd sub edition. 417 pages. 8.75x6.00x0.75 inches. In Stock.
- Softcover
Anbieter: moluna, Greven, , Deutschlandmoluna
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 68,61
EUR 48,99 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
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.
- Softcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 69,54
EUR 63,78 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
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.- E…rratum.
- Softcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 70,29
EUR 63,49 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
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.
- Softcover
Anbieter: Buchpark, Trebbin, , DeutschlandBuchpark
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Sehr gut
EUR 42,09
EUR 105,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
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 an…d ordinals.- Erratum.
- Hardcover
Anbieter: Buchpark, Trebbin, , DeutschlandBuchpark
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Sehr gut
EUR 53,47
EUR 105,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Zustand: Sehr gut. Zustand: Sehr gut | Seiten: 405 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.
Verlag: Groningen, 1901 1901
Anbieter: Antiquariaat De Keerkring, Malden, , NiederlandeAntiquariaat De Keerkring
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht
EUR 28,00
EUR 26,00 VersandVersand von Niederlande nach USAAnzahl: 1 verfügbar
Groningen, 1901 (thesis Utrecht). Halflinnen, gedecoreerde privé band. viii-231 p.
- Hardcover
Anbieter: Gert Jan Bestebreurtje Rare Books (ILAB), Vianen, NiederlandeGert Jan Bestebreurtje Rare Books (ILAB)
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht
EUR 247,50
EUR 33,75 VersandVersand von Niederlande nach USAAnzahl: 1 verfügbar
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 e…very 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.
