Importe total (1 artículo artículos):
Destino del pedido:
troelstra anne (56 resultados)
Ir a los resultados principales
Filtros de búsqueda
Tipo de artículo
- Todos los tipos de productos
- Libros (56)
- Revistas y publicaciones (No hay ningún otro resultado que coincida con este filtro.)
- Cómics (No hay ningún otro resultado que coincida con este filtro.)
- Partituras (No hay ningún otro resultado que coincida con este filtro.)
- Arte, grabados y pósters (No hay ningún otro resultado que coincida con este filtro.)
- Fotografías (No hay ningún otro resultado que coincida con este filtro.)
- Mapas (No hay ningún otro resultado que coincida con este filtro.)
- Manuscritos y coleccionismo de papel (No hay ningún otro resultado que coincida con este filtro.)
Condición Más información
- Nuevo (33)
- Como nuevo, Excelente o Muy bueno (3)
- Bueno o Aceptable (11)
- Regular o Pobre (No hay ningún otro resultado que coincida con este filtro.)
- Tal como se indica (9)
Encuadernación
Más atributos
- Primera edición (2)
- Firmado (No hay ningún otro resultado que coincida con este filtro.)
- Sobrecubierta (1)
- Con imágenes (17)
- No impresión bajo demanda (41)
Idioma (3)
Gastos de envío gratis
Ubicación del vendedor
Valoración de los vendedores
-
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)
Librería: Books From California, Simi Valley, CA, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
EUR 18,29
Envío por EUR 4,20
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritopaperback. Condición: Very Good. 1969th edition.
-
Omega-Bibliography of Mathematical Logic VI: Proof Theory, Constructive Mathematics (Perspectives in Mathematical Logic) (Vol 6)
Librería: A Squared Books (Don Dewhirst), South Lyon, MI, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 19,29
Envío por EUR 5,47
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 2 disponibles
Añadir al carritoHardcover. Condición: 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.
Idioma: Inglés
Publicado por Springer Berlin, 1969
Librería: Antiquariat Thomas Haker GmbH & Co. KG, Berlin, Alemania
Miembro de asociación: GIAQ
Calificación del vendedor: 5 de 5 estrellas
EUR 5,40
Envío por EUR 25,00
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritofest gebunden. Condición: 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)
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 37,83
Envío por EUR 3,36
Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: 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)
Librería: California Books, Miami, FL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 42,50
Gastos de envío gratis
Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: 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)
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 30,71
Envío por EUR 13,74
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
-
Principles of Intuitionism: Lectures Presented at the Summer Conference on Intuitionism and Proof Theory (1968) at Suny at Buffalo, NY
Librería: Chiron Media, Wallingford, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 28,82
Envío por EUR 17,77
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 10 disponibles
Añadir al carritoPF. Condición: New.
-
Kolibries In De Oren. Natuurhistorische Reisverhalen 1700-1950
Librería: Barksdale Books, Almere, Holanda
Calificación del vendedor: 5 de 5 estrellas
Original o primera edición
EUR 10,00
Envío por EUR 20,00
Se envía de Holanda a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: 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.
-
Kolibries in de oren: natuurhistorische reisverhalen 1700-1950
Librería: Mooney's bookstore, Den Helder, Holanda
Calificación del vendedor: 4 de 5 estrellas
EUR 16,78
Envío por EUR 14,95
Se envía de Holanda a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: Very good.
-
Tijgers op de Ararat. Natuurhistorische reisverhalen 1700-1950
Publicado por Atlas, 2003
ISBN 10: 9045010828 ISBN 13: 9789045010823
Librería: Mooney's bookstore, Den Helder, Holanda
Calificación del vendedor: 4 de 5 estrellas
EUR 18,02
Envío por EUR 14,95
Se envía de Holanda a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: Very good.
-
Tijgers op de Arafat. Natuurhistorische reisverhalen 1700-1950.
Publicado por Amsterdam: Uitgeverij Atlas, 2003
Librería: Aquila Antiquariaat, Lochem, GLD, Holanda
Calificación del vendedor: 4 de 5 estrellas
EUR 17,50
Envío por EUR 21,00
Se envía de Holanda a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carrito8vo. 22.8cm. 605 blz., illustr. in tekst, bibliogr. Paperback, geïllustr. omslag. Nieuw exemplaar.
-
Kolibries in de oren. Natuurhistorische reisverhalen 1700-1950
Publicado por Atlas, Amsterdam, 2009
Librería: Bij tij en ontij ..., Kloosterburen, NL, Holanda
Calificación del vendedor: 5 de 5 estrellas
EUR 10,00
Envío por EUR 28,50
Se envía de Holanda a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoPaperback, 23 cm, 654 pp. Ills.: z/w en kleurenillustraties. Cond.: goed / good. ISBN: 9789045015941.
-
Tijgers op de Ararat. Natuurhistorische reisverhalen 1700-1950.
Publicado por Amsterdam-Antwerpen, Uitgeverij Atlas. 2003, 2003
ISBN 10: 9045010828 ISBN 13: 9789045010823
Librería: Antiquariaat Schot, Hendrik-Ido-Ambacht, Holanda
Calificación del vendedor: 5 de 5 estrellas
EUR 13,80
Envío por EUR 25,00
Se envía de Holanda a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoOriginal 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
Librería: Majestic Books, Hounslow, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
EUR 55,05
Envío por EUR 7,46
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 3 disponibles
Añadir al carritoCondición: New. pp. 380 52:B&W 6.14 x 9.21in or 234 x 156mm (Royal 8vo) Case Laminate on White w/Gloss Lam.
-
Metamathematical Investigation of Intuitionistic Arithmetic and Analysis (Lecture Notes in Mathematics, 344)
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 65,50
Envío por EUR 3,36
Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
De toestand der Catechese in Nederland gedurende de vóór-reformatorische eeuw
Publicado por Groningen, J.B. Wolters 1901, 1901
Librería: Antiquariaat Schot, Hendrik-Ido-Ambacht, Holanda
Calificación del vendedor: 5 de 5 estrellas
EUR 18,40
Envío por EUR 25,00
Se envía de Holanda a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carrito228 p. Paperback, rug geplakt.
-
De toestand der catechese in Nederland gedurende de vóór-reformatorische eeuw
Publicado por Groningen, J.B. Wolters 1901, 1901
Librería: Antiquariaat Schot, Hendrik-Ido-Ambacht, Holanda
Calificación del vendedor: 5 de 5 estrellas
EUR 18,40
Envío por EUR 25,00
Se envía de Holanda a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carrito228 p. Paperback, rug verstevigd met linnen.
-
Basic Proof Theory (Paperback)
Idioma: Inglés
Publicado por Cambridge University Press, Cambridge, 2002
ISBN 10: 0521779111 ISBN 13: 9780521779111
Librería: Grand Eagle Retail, Bensenville, IL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 71,67
Gastos de envío gratis
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: 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.
-
Constructivism in Mathematics Vol.1
Librería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
EUR 69,47
Envío por EUR 3,36
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 3 disponibles
Añadir al carritoCondición: New. pp. 380.
-
Tijgers op de Ararat. Natuurhistorische reisverhalen 1700-1950
Publicado por Atlas, 2003
ISBN 10: 9045010828 ISBN 13: 9789045010823
Librería: De Boeken van Wouter, Amsterdam, NEDER, Holanda
Calificación del vendedor: 5 de 5 estrellas
EUR 10,97
Envío por EUR 35,50
Se envía de Holanda a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoPlease 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
Librería: Biblios, Frankfurt am main, HESSE, Alemania
Calificación del vendedor: 4 de 5 estrellas
EUR 66,47
Envío por EUR 9,95
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 3 disponibles
Añadir al carritoCondición: New. pp. 380.
-
Metamathematical Investigation of Intuitionistic Arithmetic and Analysis
Librería: Anybook.com, Lincoln, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 64,86
Envío por EUR 15,37
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: 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)
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 70,07
Envío por EUR 13,74
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
-
The L. E. J. Brouwer Centenary Symposium. Studies in logic and the foundations of mathematics 110.
Idioma: Inglés
Publicado por Amsterdam [u.a.] : North-Holland Publ. Comp., 1982
ISBN 10: 0444864946 ISBN 13: 9780444864949
Librería: Wissenschaftliches Antiquariat Köln Dr. Sebastian Peters UG, Köln, Alemania
Calificación del vendedor: 4 de 5 estrellas
EUR 75,00
Envío por EUR 10,00
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: gut. IX, 523 S., Abb., 23 cm, Bibliotheksexemplar, Einband leicht fleckig, gebräunt, untere Einbandkante mit leichter Druckstelle. Sprache: Englisch.
-
Principles of Intuitionism
Idioma: Inglés
Publicado por Springer Berlin Heidelberg, Springer Berlin Heidelberg Jan 1969, 1969
ISBN 10: 3540046143 ISBN 13: 9783540046141
Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 26,70
Envío por EUR 60,00
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Añadir al carritoTaschenbuch. Condición: 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
Idioma: Inglés
Publicado por Springer Berlin Heidelberg, 1969
ISBN 10: 3540046143 ISBN 13: 9783540046141
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 26,70
Envío por EUR 60,95
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: 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
Idioma: Inglés
Publicado por Cambridge University Press CUP, 2000
ISBN 10: 0521779111 ISBN 13: 9780521779111
Librería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
EUR 88,86
Envío por EUR 3,36
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 4 disponibles
Añadir al carritoCondición: New. pp. 432 2nd Edition.
-
Choice Sequences: A Chapter of Intuitionistic Mathematics.
Idioma: Inglés
Publicado por Oxford: Clarendon Press, 1977., 1977
ISBN 10: 019853163X ISBN 13: 9780198531630
Librería: Ted Kottler, Bookseller, Redondo Beach, CA, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
Original o primera edición
EUR 82,40
Envío por EUR 10,69
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: Near Fine. Estado de la sobrecubierta: 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
Publicado por Atlas, 2003
ISBN 10: 9045010828 ISBN 13: 9789045010823
Librería: Mooney's bookstore, Den Helder, Holanda
Calificación del vendedor: 4 de 5 estrellas
EUR 39,93
Envío por EUR 14,95
Se envía de Holanda a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: Very good.
-
Basic Proof Theory
Librería: Revaluation Books, Exeter, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 88,55
Envío por EUR 14,34
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Añadir al carritoPaperback. Condición: Brand New. 2nd sub edition. 417 pages. 8.75x6.00x0.75 inches. In Stock.
