Importe total (1 artículo artículos):
Destino del pedido:
anne troelstra (45 resultados)
Ir a los resultados principales
Filtros de búsqueda
Tipo de artículo
- Todos los tipos de productos
- Libros (45)
- 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 (26)
- Como nuevo, Excelente o Muy bueno (3)
- Bueno o Aceptable (7)
- 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 (33)
Idioma (3)
Gastos de envío gratis
Ubicación del vendedor
Valoración de los vendedores
-
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 18,78
Envío por EUR 5,57
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.
-
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.
-
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 31,88
Envío por EUR 13,83
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
Idioma: Inglés
Publicado por Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, DE, 1969
ISBN 10: 3540046143 ISBN 13: 9783540046141
Librería: Rarewaves.com USA, London, LONDO, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 47,10
Gastos de envío gratis
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoPaperback. Condición: New. 1969 ed.
-
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 29,01
Envío por EUR 17,89
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 10 disponibles
Añadir al carritoPF. Condición: New.
-
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: 3 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: 4 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 56,13
Envío por EUR 7,51
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.
-
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.
-
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 70,82
Envío por EUR 3,43
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 3 disponibles
Añadir al carritoCondición: New. pp. 380.
-
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 (Lecture Notes in Mathematics, 344)
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 72,60
Envío por EUR 13,83
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: 5 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 : Lectures presented at the Summer Conference on Intuitionism and Proof Theory (1968) at SUNY at Buffalo, NY
Idioma: Inglés
Publicado por Springer, Springer Spektrum, 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.
-
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: 2 de 5 estrellas
Original o primera edición
EUR 84,00
Envío por EUR 10,90
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.
-
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 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.
-
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
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 94,94
Envío por EUR 3,43
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 4 disponibles
Añadir al carritoCondición: New. pp. 432 2nd Edition.
-
Tijgers op de Ararat. Natuurhistorische reisverhalen 1700-1950.
Librería: Rob Kok Old Books & Prints, Loosdrecht, NH, Holanda
Calificación del vendedor: 4 de 5 estrellas
EUR 17,00
Envío por EUR 26,00
Se envía de Holanda a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoAmst. & Antwerpen, Atlas, 2003. 605 blz. Geïll. Paperback. Fraai. #9045010828. [52135].
-
Omega-Bibliography of Mathematical Logic. Vol. VI: Proof Theory. Constructive Mathematics.
Idioma: Inglés
Publicado por Springer Verlag, Berlin, Heidelberg, New York et. al., 1987, 1987
ISBN 10: 3540155244 ISBN 13: 9783540155249
Librería: Antiquariat Stefan Wulf, Berlin, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 80,00
Envío por EUR 25,00
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoOrg.-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
Idioma: Inglés
Publicado por Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, DE, 1969
ISBN 10: 3540046143 ISBN 13: 9783540046141
Librería: Rarewaves.com UK, London, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 31,87
Envío por EUR 75,06
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoPaperback. Condición: New. 1969 ed.
-
Basic Proof Theory
Librería: Revaluation Books, Exeter, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 94,53
Envío por EUR 14,43
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.
-
Basic Proof Theory
Idioma: Inglés
Publicado por Cambridge University Press, 2002
ISBN 10: 0521779111 ISBN 13: 9780521779111
Librería: moluna, Greven, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 68,61
Envío por EUR 48,99
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: 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.
-
Metamathematical Investigation of Intuitionistic Arithmetic and Analysis
Idioma: Inglés
Publicado por Springer, Springer Vieweg, 1973
ISBN 10: 3540064915 ISBN 13: 9783540064916
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 69,54
Envío por EUR 63,78
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 - 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.
-
Basic Proof Theory
Idioma: Inglés
Publicado por Cambridge University Press, 2000
ISBN 10: 0521779111 ISBN 13: 9780521779111
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 70,29
Envío por EUR 63,49
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 - Introduction to proof theory and its applications in mathematical logic, theoretical computer science and artificial intelligence.
-
Metamathematical Investigation of Intuitionistic Arithmetic and Analysis
Librería: Buchpark, Trebbin, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 42,09
Envío por EUR 105,00
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: 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 and ordinals.- Erratum.
-
Proof Theory, Constructive Mathematics
Idioma: Inglés
Publicado por Springer-Verlag GmbH & Co. KG, 1987
ISBN 10: 3540155244 ISBN 13: 9783540155249
Librería: Buchpark, Trebbin, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 53,28
Envío por EUR 105,00
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: Sehr gut. Zustand: Sehr gut | Seiten: 405 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.
