Importo totale (1 articolo articoli):
Destinazione ordine:
anne troelstra (47 risultati)
Vai alla pagina principale dei risultati di ricerca
Filtri di ricerca
Tipo di articolo
- Tutti i tipi di prodotto
- Libri (47)
- Riviste e Giornali (Nessun altro risultato corrispondente a questo perfezionamento)
- Fumetti (Nessun altro risultato corrispondente a questo perfezionamento)
- Spartiti (Nessun altro risultato corrispondente a questo perfezionamento)
- Arte, Stampe e Poster (Nessun altro risultato corrispondente a questo perfezionamento)
- Fotografie (Nessun altro risultato corrispondente a questo perfezionamento)
- Mappe (Nessun altro risultato corrispondente a questo perfezionamento)
- Manoscritti e Collezionismo cartaceo (Nessun altro risultato corrispondente a questo perfezionamento)
Condizioni Maggiori informazioni
- Nuovo (28)
- Come nuovo, Ottimo o Quasi ottimo (3)
- Molto buono o Buono (7)
- Discreto o Mediocre (Nessun altro risultato corrispondente a questo perfezionamento)
- Come descritto (9)
Legatura
Ulteriori caratteristiche
- Prima ed. (2)
- Copia autograf. (Nessun altro risultato corrispondente a questo perfezionamento)
- Sovracoperta (1)
- Con foto (18)
- Non Print on Demand (34)
Lingua (3)
Spedizione gratuita
Paese del venditore
Valutazione venditore
-
Omega-Bibliography of Mathematical Logic VI: Proof Theory, Constructive Mathematics (Perspectives in Mathematical Logic) (Vol 6)
Da: A Squared Books (Don Dewhirst), South Lyon, MI, U.S.A.
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: 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
Da: Barksdale Books, Almere, Paesi Bassi
Valutazione del venditore 5 su 5 stelle
Prima edizione
EUR 10,00
Spedizione EUR 20,00
Spedito da Paesi Bassi a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: 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)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 31,70
Spedizione EUR 13,84
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Principles of Intuitionism
Lingua: Inglese
Editore: Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, DE, 1969
ISBN 10: 3540046143 ISBN 13: 9783540046141
Da: Rarewaves.com USA, London, LONDO, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 46,90
Spedizione gratuita
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloPaperback. Condizione: New. 1969 ed.
-
Principles of Intuitionism: Lectures Presented at the Summer Conference on Intuitionism and Proof Theory (1968) at Suny at Buffalo, NY
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 29,03
Spedizione EUR 17,90
Spedito da Regno Unito a U.S.A.Quantità: 10 disponibili
Aggiungi al carrelloPF. Condizione: New.
-
Tijgers op de Ararat. Natuurhistorische reisverhalen 1700-1950
Editore: Atlas, 2003
ISBN 10: 9045010828 ISBN 13: 9789045010823
Da: Mooney's bookstore, Den Helder, Paesi Bassi
Valutazione del venditore 4 su 5 stelle
EUR 18,02
Spedizione EUR 14,95
Spedito da Paesi Bassi a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: Very good.
-
Kolibries in de oren. Natuurhistorische reisverhalen 1700-1950
Editore: Atlas, Amsterdam, 2009
Da: Bij tij en ontij ..., Kloosterburen, NL, Paesi Bassi
Valutazione del venditore 4 su 5 stelle
EUR 10,00
Spedizione EUR 28,50
Spedito da Paesi Bassi a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloPaperback, 23 cm, 654 pp. Ills.: z/w en kleurenillustraties. Cond.: goed / good. ISBN: 9789045015941.
-
Tijgers op de Ararat. Natuurhistorische reisverhalen 1700-1950.
Editore: Amsterdam-Antwerpen, Uitgeverij Atlas. 2003, 2003
ISBN 10: 9045010828 ISBN 13: 9789045010823
Da: Antiquariaat Schot, Hendrik-Ido-Ambacht, Paesi Bassi
Valutazione del venditore 5 su 5 stelle
EUR 13,80
Spedizione EUR 25,00
Spedito da Paesi Bassi a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloOriginal publisher's paperback, pictorial frontcover, thick large 8vo: 606pp.,illustrations, maps, sources, credits illustrations, general bibliography, index. Very fine copy.
-
Tijgers op de Arafat. Natuurhistorische reisverhalen 1700-1950.
Editore: Amsterdam: Uitgeverij Atlas, 2003
Da: Aquila Antiquariaat, Lochem, GLD, Paesi Bassi
Valutazione del venditore 3 su 5 stelle
EUR 17,50
Spedizione EUR 21,00
Spedito da Paesi Bassi a U.S.A.Quantità: 1 disponibili
Aggiungi al carrello8vo. 22.8cm. 605 blz., illustr. in tekst, bibliogr. Paperback, geïllustr. omslag. Nieuw exemplaar.
-
Constructivism in Mathematics Vol.1
Da: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 4 su 5 stelle
EUR 56,24
Spedizione EUR 7,51
Spedito da Regno Unito a U.S.A.Quantità: 3 disponibili
Aggiungi al carrelloCondizione: 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
Editore: Groningen, J.B. Wolters 1901, 1901
Da: Antiquariaat Schot, Hendrik-Ido-Ambacht, Paesi Bassi
Valutazione del venditore 5 su 5 stelle
EUR 18,40
Spedizione EUR 25,00
Spedito da Paesi Bassi a U.S.A.Quantità: 1 disponibili
Aggiungi al carrello228 p. Paperback, rug geplakt.
-
De toestand der catechese in Nederland gedurende de vóór-reformatorische eeuw
Editore: Groningen, J.B. Wolters 1901, 1901
Da: Antiquariaat Schot, Hendrik-Ido-Ambacht, Paesi Bassi
Valutazione del venditore 5 su 5 stelle
EUR 18,40
Spedizione EUR 25,00
Spedito da Paesi Bassi a U.S.A.Quantità: 1 disponibili
Aggiungi al carrello228 p. Paperback, rug verstevigd met linnen.
-
Constructivism in Mathematics Vol.1
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 380.
-
Constructivism in Mathematics Vol.1
Da: Biblios, Frankfurt am main, HESSE, Germania
Valutazione del venditore 4 su 5 stelle
EUR 66,47
Spedizione EUR 9,95
Spedito da Germania a U.S.A.Quantità: 3 disponibili
Aggiungi al carrelloCondizione: New. pp. 380.
-
Metamathematical Investigation of Intuitionistic Arithmetic and Analysis (Lecture Notes in Mathematics, 344)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 72,12
Spedizione EUR 13,84
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
The L. E. J. Brouwer Centenary Symposium. Studies in logic and the foundations of mathematics 110.
Lingua: Inglese
Editore: Amsterdam [u.a.] : North-Holland Publ. Comp., 1982
ISBN 10: 0444864946 ISBN 13: 9780444864949
Da: Wissenschaftliches Antiquariat Köln Dr. Sebastian Peters UG, Köln, Germania
Valutazione del venditore 5 su 5 stelle
EUR 75,00
Spedizione EUR 10,00
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: 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
Lingua: Inglese
Editore: Springer, Springer Spektrum, 1969
ISBN 10: 3540046143 ISBN 13: 9783540046141
EUR 26,70
Spedizione EUR 60,95
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: 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.
-
Choice Sequences: A Chapter of Intuitionistic Mathematics.
Lingua: Inglese
Editore: Oxford: Clarendon Press, 1977., 1977
ISBN 10: 019853163X ISBN 13: 9780198531630
Da: Ted Kottler, Bookseller, Redondo Beach, CA, U.S.A.
Valutazione del venditore 2 su 5 stelle
Prima edizione
Hardcover. Condizione: Near Fine. Condizione sovraccoperta: Near Fine. 1st Edition. ix, 170 pp. Original cloth. Near Fine, in near fine- dust jacket (rear panel sunned, price-clipped). Oxford Logic Guides.
-
Tijgers op de Ararat. Natuurhistorische reisverhalen 1700-1950
Editore: Atlas, 2003
ISBN 10: 9045010828 ISBN 13: 9789045010823
Da: Mooney's bookstore, Den Helder, Paesi Bassi
Valutazione del venditore 4 su 5 stelle
EUR 39,93
Spedizione EUR 14,95
Spedito da Paesi Bassi a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: Very good.
-
Basic Proof Theory
Lingua: Inglese
Editore: Cambridge University Press CUP, 2000
ISBN 10: 0521779111 ISBN 13: 9780521779111
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 432 2nd Edition.
-
Kolibries in de oren: natuurhistorische reisverhalen 1700-1950
Da: Mooney's bookstore, Den Helder, Paesi Bassi
Valutazione del venditore 4 su 5 stelle
EUR 39,93
Spedizione EUR 14,95
Spedito da Paesi Bassi a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: Very good.
-
EUR 26,55
Spedizione EUR 70,00
Spedito da Germania a U.S.A.Quantità: 5 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: 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 die EU: Springer Nature Customer Service Center GmbH, Europaplatz 3, 69115 Heidelberg, productsafety[at]springernature[dot]com | Anbieter: preigu.
-
Tijgers op de Ararat. Natuurhistorische reisverhalen 1700-1950.
Da: Rob Kok Old Books & Prints, Loosdrecht, NH, Paesi Bassi
Valutazione del venditore 3 su 5 stelle
EUR 17,00
Spedizione EUR 26,00
Spedito da Paesi Bassi a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloAmst. & Antwerpen, Atlas, 2003. 605 blz. Geïll. Paperback. Fraai. #9045010828. [52135].
-
Omega-Bibliography of Mathematical Logic. Vol. VI: Proof Theory. Constructive Mathematics.
Lingua: Inglese
Editore: Springer Verlag, Berlin, Heidelberg, New York et. al., 1987, 1987
ISBN 10: 3540155244 ISBN 13: 9783540155249
Da: Antiquariat Stefan Wulf, Berlin, Germania
Valutazione del venditore 5 su 5 stelle
EUR 80,00
Spedizione EUR 25,00
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloOrg.-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.
-
Principles of Intuitionism
Lingua: Inglese
Editore: Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, DE, 1969
ISBN 10: 3540046143 ISBN 13: 9783540046141
Da: Rarewaves.com UK, London, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 31,73
Spedizione EUR 75,12
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloPaperback. Condizione: New. 1969 ed.
-
Basic Proof Theory
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 94,60
Spedizione EUR 14,45
Spedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. 2nd sub edition. 417 pages. 8.75x6.00x0.75 inches. In Stock.
-
Basic Proof Theory
Lingua: Inglese
Editore: Cambridge University Press, 2002
ISBN 10: 0521779111 ISBN 13: 9780521779111
EUR 68,61
Spedizione EUR 48,99
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: 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.
-
Basic Proof Theory
Lingua: Inglese
Editore: Cambridge University Press, 2000
ISBN 10: 0521779111 ISBN 13: 9780521779111
EUR 70,29
Spedizione EUR 63,49
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - Introduction to proof theory and its applications in mathematical logic, theoretical computer science and artificial intelligence.
-
EUR 69,54
Spedizione EUR 63,78
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: 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.
-
Proof Theory, Constructive Mathematics
Lingua: Inglese
Editore: Springer-Verlag GmbH & Co. KG, 1987
ISBN 10: 3540155244 ISBN 13: 9783540155249
EUR 29,90
Spedizione EUR 105,00
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: Sehr gut. Zustand: Sehr gut | Seiten: 405 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.
