Importo totale (1 articolo articoli):
Destinazione ordine:
troelstra anne (59 risultati)
Vai alla pagina principale dei risultati di ricerca
Filtri di ricerca
Tipo di articolo
- Tutti i tipi di prodotto
- Libri (59)
- 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 (37)
- Come nuovo, Ottimo o Quasi ottimo (3)
- Molto buono o Buono (10)
- Discreto o Mediocre (Nessun altro risultato corrispondente a questo perfezionamento)
- Come descritto (9)
Legatura
Ulteriori caratteristiche
- Prima ed. (1)
- Copia autograf. (Nessun altro risultato corrispondente a questo perfezionamento)
- Sovracoperta (1)
- Con foto (17)
- Non Print on Demand (44)
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 5 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,60
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: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 37,99
Spedizione EUR 3,37
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
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: California Books, Miami, FL, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 42,69
Spedizione gratuita
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
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,87
Spedizione EUR 13,81
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
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,97
Spedizione EUR 17,86
Spedito da Regno Unito a U.S.A.Quantità: 10 disponibili
Aggiungi al carrelloPF. Condizione: New.
-
Principles of Intuitionism (Paperback)
Lingua: Inglese
Editore: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 1969
ISBN 10: 3540046143 ISBN 13: 9783540046141
Da: Grand Eagle Retail, Bensenville, IL, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: new. Paperback. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
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 20,13
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 5 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 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.
-
Constructivism in Mathematics Vol.1
Da: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 4 su 5 stelle
EUR 55,30
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.
-
Metamathematical Investigation of Intuitionistic Arithmetic and Analysis (Lecture Notes in Mathematics, 344)
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 65,79
Spedizione EUR 3,37
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: 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 29,42
Spedizione EUR 14,95
Spedito da Paesi Bassi a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: Very good.
-
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.
-
Basic Proof Theory (Paperback)
Lingua: Inglese
Editore: Cambridge University Press, Cambridge, 2002
ISBN 10: 0521779111 ISBN 13: 9780521779111
Da: Grand Eagle Retail, Bensenville, IL, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: new. Paperback. This introduction to the basic ideas of structural proof theory contains a thorough discussion and comparison of various types of first-order logic formalization. Examples are given of several areas of application, namely: the metamathematics of pure first-order logic, logic programming theory, category theory, modal logic, linear logic, first-order arithmetic and second-order logic. In each case the authors illustrate the methods in relatively simple situations and then apply them elsewhere in much more complex settings. For the new edition, they have rewritten many sections to improve clarity, added new sections on cut elimination, and included solutions to selected exercises. In general, the only prerequisite is a standard course in first-order logic, making the book ideal for graduate students and beginning researchers in mathematical logic, theoretical computer science and artificial intelligence. This introduction to the basic ideas of structural proof theory contains a thorough discussion and comparison of various types of first-order logic formalization. Examples are given of several areas of application, namely: the metamathematics of pure first-order logic, logic programming theory, category theory, modal logic, linear logic, first-order arithmetic and second-order logic. In each case the authors illustrate the methods in relatively simple situations and then apply them elsewhere in much more complex settings. For the new edition, they have rewritten many sections to improve clarity, added new sections on cut elimination, and included solutions to selected exercises. In general, the only prerequisite is a standard course in first-order logic, making the book ideal for graduate students and beginning researchers in mathematical logic, theoretical computer science and artificial intelligence. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
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 5 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 64,70
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 (Paperback)
Lingua: Inglese
Editore: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 1973
ISBN 10: 3540064915 ISBN 13: 9783540064916
Da: Grand Eagle Retail, Bensenville, IL, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: new. Paperback. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
EUR 65,20
Spedizione EUR 15,45
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.
-
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 33,88
Spedizione EUR 14,95
Spedito da Paesi Bassi a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: Very good.
-
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,43
Spedizione EUR 13,81
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
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.
-
Principles of Intuitionism : Lectures presented at the Summer Conference on Intuitionism and Proof Theory (1968) at SUNY at Buffalo, NY
Lingua: Inglese
Editore: Springer Berlin Heidelberg, 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.
-
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 4 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.
