Importo totale (1 articolo articoli):
Destinazione ordine:
anne troelstra (48 risultati)
Vai alla pagina principale dei risultati di ricerca
Filtri di ricerca
Tipo di articolo
- Tutti i tipi di prodotto
- Libri (48)
- 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 (26)
- Come nuovo, Ottimo o Quasi ottimo (3)
- Molto buono o Buono (11)
- Discreto o Mediocre (Nessun altro risultato corrispondente a questo perfezionamento)
- Come descritto (8)
Legatura
Ulteriori caratteristiche
- Prima ed. (2)
- Copia autograf. (Nessun altro risultato corrispondente a questo perfezionamento)
- Sovracoperta (1)
- Con foto (16)
- Non Print on Demand (37)
Lingua (3)
Spedizione gratuita
Paese del venditore
Valutazione venditore
-
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: Books From California, Simi Valley, CA, U.S.A.
Valutazione del venditore 4 su 5 stelle
paperback. Condizione: Very Good. 1969th edition.
-
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.
-
Principles of Intuitionism.
Lingua: Inglese
Editore: Springer Berlin, 1969
Da: Antiquariat Thomas Haker GmbH & Co. KG, Berlin, Germania
Membro dell'associazione: GIAQ
Valutazione del venditore 5 su 5 stelle
EUR 5,20
Spedizione EUR 25,00
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrellofest gebunden. Condizione: Gut. 111 S. Guter Zustand/ Good Ex-Library. Additional cover foliation. Sprache: Englisch Gewicht in Gramm: 811.
-
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 30,89
Spedizione EUR 13,83
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
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
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 28,99
Spedizione EUR 17,88
Spedito da Regno Unito a U.S.A.Quantità: 10 disponibili
Aggiungi al carrelloPF. Condizione: New.
-
Kolibries in de oren: natuurhistorische reisverhalen 1700-1950
Da: Mooney's bookstore, Den Helder, Paesi Bassi
Valutazione del venditore 4 su 5 stelle
EUR 16,78
Spedizione EUR 14,95
Spedito da Paesi Bassi a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: Very good.
-
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.
-
Tijgers op de Arafat. Natuurhistorische reisverhalen 1700-1950.
Editore: Amsterdam: Uitgeverij Atlas, 2003
Da: Aquila Antiquariaat, Lochem, GLD, Paesi Bassi
Valutazione del venditore 4 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.
-
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.
-
Constructivism in Mathematics Vol.1
Da: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 4 su 5 stelle
EUR 57,01
Spedizione EUR 7,50
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.
-
Tijgers op de Ararat. Natuurhistorische reisverhalen 1700-1950
Editore: Atlas, 2003
ISBN 10: 9045010828 ISBN 13: 9789045010823
Da: De Boeken van Wouter, Amsterdam, NEDER, Paesi Bassi
Valutazione del venditore 4 su 5 stelle
EUR 10,97
Spedizione EUR 35,50
Spedito da Paesi Bassi a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloPlease note: below is a general description of how we classify our condition types. If you would like a closer look or have any specific questions, please feel free to send us a message, and we will gladly check it for you. Condition descriptions: UsedlikeNew: Barely any signs of use, almost like new. UsedGood: May show some light signs of use, such as slight discoloration or a name written on the front endpaper, but generally no markings or notes in the text. UsedAcceptable: Book in acceptable condition. May show signs of use, such as some discoloration, reading creases in the spine, underlining, notes, slight dirt on edges, dog-eared pages, or a bent spine. New: Book is new. ZB 48-5 180821.
-
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.
-
EUR 65,25
Spedizione EUR 15,46
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has soft covers. In good all round condition. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,900grams, ISBN:3540064915.
-
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 70,49
Spedizione EUR 13,83
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 4 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.
-
Principles of Intuitionism
Lingua: Inglese
Editore: Springer Berlin Heidelberg, Springer Berlin Heidelberg Jan 1969, 1969
ISBN 10: 3540046143 ISBN 13: 9783540046141
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
Valutazione del venditore 5 su 5 stelle
EUR 26,70
Spedizione EUR 60,00
Spedito da Germania a U.S.A.Quantità: 2 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Neuware -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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 116 pp. Englisch.
-
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.
-
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.
-
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.
-
Basic Proof Theory
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 91,24
Spedizione EUR 14,43
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 66,08
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 67,65
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.
