Importe total (1 artículo artículos):
Destino del pedido:
a s troelstra (78 resultados)
Ir a los resultados principales
Filtros de búsqueda
Tipo de artículo
- Todos los tipos de productos
- Libros (78)
- 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
Encuadernación
Más atributos
- Primera edición (4)
- Firmado (No hay ningún otro resultado que coincida con este filtro.)
- Sobrecubierta (3)
- Con imágenes (33)
- No impresión bajo demanda (62)
Idioma (3)
Gastos de envío gratis
Ubicación del vendedor
Valoración de los vendedores
-
Lectures on Linear Logic (Volume 29) (Lecture Notes)
Idioma: Inglés
Publicado por Center for the Study of Language, 1992
ISBN 10: 0937073776 ISBN 13: 9780937073773
Librería: Books From California, Simi Valley, CA, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
EUR 9,47
Envío por EUR 4,30
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Good. No dust jacket. Ex-library copy with stamps and stickers. The copy shows minor external wear, but is in otherwise clean condition.
-
Basic proof Theory
Idioma: Inglés
Publicado por Cambridge University Press, 1996
ISBN 10: 0521572231 ISBN 13: 9780521572231
Librería: BOOK2BUY, Lynbrook, NY, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 28,28
Envío por EUR 3,10
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: Good. No Jacket. Hardcover - clean, no marks, clean inside, no dj - from a private collection -.
-
Basic Proof Theory (Cambridge Tracts in Theoretical Computer Science) (Volume 43)
Idioma: Inglés
Publicado por Cambridge University Press, 1996
ISBN 10: 0521572231 ISBN 13: 9780521572231
Librería: Anybook.com, Lincoln, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 24,70
Envío por EUR 15,72
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: Fair. Volume 43. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. In fair condition, suitable as a study copy. No dust jacket. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,750grams, ISBN:9780521572231.
-
Basic Proof Theory
Idioma: Inglés
Publicado por Cambridge University Press, 2000
ISBN 10: 0521779111 ISBN 13: 9780521779111
Librería: Skoob-ebooks, Pontiac, QC, Canada
Calificación del vendedor: 5 de 5 estrellas
EUR 29,96
Envío por EUR 11,19
Se envía de Canada a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Very Good. In great condition.The pages are clean and intact and the binding is tight. Buy with confidence - satisfaction guaranteed.; 6 X 1.08 X 9 inches; 432 pages; Reduced price by 10% on June 19, 2025.
-
Constructivism in Mathematics: An Introduction
Librería: Chamblin Bookmine, Jacksonville, FL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 35,48
Envío por EUR 6,02
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carrito8vo Softcover. Condición: Very Good. Volume 121. 342p. Studies in Logic and the Foundations of Mathematics, Volume 121. Bright pages are unmarked. Yellow wraps are vibrant with lightly bumped corners and a rubbed spine. Binding is tight with securely attached hinges.
-
Tijgers Op De Ararat. 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. Al eeuwenlang hebben onderzoekers en liefhebbers reizen gemaakt om flora, fauna en gesteenten te onderzoeken en te verzamelen. Velen deden daarvan verslag; hun reisverhalen slaan een brug tussen wetenschap en literatuur. De reizigers vormden een bont gezelschap. Onder hen bevonden zich naast wetenschappers een beroepsmilitair, een predikant, een romanschrijver en schilders. De verhalen zijn al net zo gevarieerd als de reizigers zelf. In dit boek wordt voor een brede kring van ge?nteresseerden een uitgebreide selectie van reisverhalen besproken, ge?llustreerd met talrijke citaten. Daarnaast wordt biografische informatie over de reizenden gegeven, en waar relevant de betekenis van reis en reiziger binnen de geschiedenis van de biologie.; Nauwelijks zichtbare fijne leeslijntjes in de rug, overigens onberispelijk.
-
Constructivism in Mathematics: An Introduction, vol. 1 Studies in Logic and the Foundations of Mathematics, vol. 121
Idioma: Inglés
Publicado por North-Holland, 1988
Librería: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 39,95
Envío por EUR 15,95
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoBroschiert. Condición: Gut. 342 Seiten; Das hier angebotene Buch stammt aus einer teilaufgelösten Bibliothek und kann entsprechende Kennzeichnungen aufweisen (Rückenschild, Instituts-Stempel.). Aufgrund des Alters und der häufigen Nutzung können Stabilität, Einband sowie Papierqualität beeinträchtigt sein. In ENGLISCHER Sprache. Sprache: Englisch Gewicht in Gramm: 525.
-
Constructivism in Mathematics
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 56,15
Envío por EUR 2,27
Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Constructivism in Mathematics, 121: An Introduction (Paperback or Softback)
Idioma: Inglés
Publicado por North-Holland 8/1/1988, 1988
ISBN 10: 0444705066 ISBN 13: 9780444705068
Librería: BargainBookStores, Grand Rapids, MI, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 58,50
Gastos de envío gratis
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 5 disponibles
Añadir al carritoPaperback or Softback. Condición: New. Constructivism in Mathematics, 121: An Introduction. Book.
-
Constructivism in Mathematics
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 59,27
Envío por EUR 2,27
Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
-
Basic Proof Theory (Cambridge Tracts in Theoretical Computer Science, Series Number 43)
Idioma: Inglés
Publicado por Cambridge University Press, 1996
ISBN 10: 0521572231 ISBN 13: 9780521572231
Librería: Friends of Pima County Public Library, Tucson, AZ, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 59,72
Envío por EUR 4,85
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritohardcover. Condición: Good. Hardcover. NOT Ex-library. Good condition. No dust jacket. Until further notice, USPS Priority Mail only reliable option for Hawaii. Proceeds benefit the Pima County Public Library system, which serves Tucson and southern Arizona.
-
Basic Proof Theory
Idioma: Inglés
Publicado por Cambridge University Press, 2000
ISBN 10: 0521779111 ISBN 13: 9780521779111
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 63,66
Envío por EUR 2,27
Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
-
Lectures on Linear Logic CSLI Lectures Notes, 29
Idioma: Inglés
Publicado por Center for the Study of Language and Information Publica Tion, 1992
ISBN 10: 0937073784 ISBN 13: 9780937073780
Librería: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 49,95
Envío por EUR 15,95
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritogebundene Ausgabe. Condición: Gut. 200 Seiten Das hier angebotene Buch stammt aus einer teilaufgelösten Bibliothek und kann die entsprechenden Kennzeichnungen aufweisen (Rückenschild, Instituts-Stempel.); der Buchzustand ist ansonsten ordentlich und dem Alter entsprechend gut. In ENGLISCHER Sprache. Sprache: Englisch Gewicht in Gramm: 545.
-
Constructivism in Mathematics
Idioma: Inglés
Publicado por Elsevier Science and Technology, US, 1988
ISBN 10: 0444705066 ISBN 13: 9780444705068
Librería: Rarewaves USA, OSWEGO, IL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 68,34
Gastos de envío gratis
Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoPaperback. Condición: New.
-
CONSTRUCTIVISM IN MATHEMATICS VOL.2 AN INTRODUCTION.
Librería: Majestic Books, Hounslow, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
EUR 62,91
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.
-
Basic Proof Theory
Idioma: Inglés
Publicado por Cambridge University Press, 2000
ISBN 10: 0521779111 ISBN 13: 9780521779111
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 68,36
Envío por EUR 2,27
Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Basic Proof Theory (Cambridge Tracts in Theoretical Computer Science, Series Number 43) (Volume 0)
Idioma: Inglés
Publicado por Cambridge University Press, 2000
ISBN 10: 0521779111 ISBN 13: 9780521779111
Librería: California Books, Miami, FL, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
EUR 70,96
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.
-
Constructivism in Mathematics, Vol 1: An Introduction: Volume 121 (Studies in Logic and the Foundations of Mathematics)
Idioma: Inglés
Publicado por Elsevier Science 1988-07-01, 1988
ISBN 10: 0444702660 ISBN 13: 9780444702661
Librería: Chiron Media, Wallingford, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 52,44
Envío por EUR 17,90
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoHardcover. Condición: New.
-
Basic Proof Theory
Idioma: Inglés
Publicado por Cambridge University Press, GB, 2000
ISBN 10: 0521779111 ISBN 13: 9780521779111
Librería: Rarewaves.com USA, London, LONDO, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 73,67
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. This introduction to the basic ideas of structural proof theory contains a thorough discussion and comparison of various types of formalization of first-order logic. Examples are given of several areas of application, namely: the metamathematics of pure first-order logic (intuitionistic as well as classical); the theory of logic programming; category theory; modal logic; linear logic; first-order arithmetic and second-order logic. In each case the aim is to illustrate the methods in relatively simple situations and then apply them elsewhere in much more complex settings. There are numerous exercises throughout the text. 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. 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.
-
Constructivism in Mathematics
Idioma: Inglés
Publicado por Elsevier Science and Technology, US, 1988
ISBN 10: 0444705066 ISBN 13: 9780444705068
Librería: Rarewaves.com USA, London, LONDO, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 75,28
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.
-
Constructivism in Mathematics, Vol 2: An Introduction: v. 2 (Studies in Logic and the Foundations of Mathematics)
Idioma: Inglés
Publicado por Elsevier Science 1988-11-01, 1988
ISBN 10: 0444703586 ISBN 13: 9780444703583
Librería: Chiron Media, Wallingford, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 59,69
Envío por EUR 17,90
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoHardcover. Condición: New.
-
Basic Proof Theory (Cambridge Tracts in Theoretical Computer Science, Series Number 43) (Volume 0)
Idioma: Inglés
Publicado por Cambridge University Press, 2000
ISBN 10: 0521779111 ISBN 13: 9780521779111
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 65,38
Envío por EUR 13,85
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
-
Basic Proof Theory
Idioma: Inglés
Publicado por Cambridge University Press, 2000
ISBN 10: 0521779111 ISBN 13: 9780521779111
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 62,57
Envío por EUR 17,34
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Constructivism in Mathematics: Vol 002
Librería: Revaluation Books, Exeter, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 66,49
Envío por EUR 14,45
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Añadir al carritoHardcover. Condición: Brand New. 250 pages. 9.25x6.50x1.25 inches. In Stock.
-
Constructivism in Mathematics
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 66,11
Envío por EUR 17,34
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
-
Constructivism in Mathematics
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 70,41
Envío por EUR 17,34
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
CONSTRUCTIVISM IN MATHEMATICS VOL.2 AN INTRODUCTION.
Librería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
EUR 84,95
Envío por EUR 3,44
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 3 disponibles
Añadir al carritoCondición: New.
-
Constructivism in Mathematics: An Introduction (Volume 121) (Studies in Logic and the Foundations of Mathematics, Volume 121)
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 74,20
Envío por EUR 13,85
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
-
Basic Proof Theory
Idioma: Inglés
Publicado por Cambridge University Press, 2000
ISBN 10: 0521779111 ISBN 13: 9780521779111
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 71,86
Envío por EUR 17,34
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
-
![Imagen del vendedor de Principles of Intuitionism. [= Lecture Notes in Mathematics, Bd. 95] a la venta por Antiquariat hinter der Stadtmauer](https://pictures.abebooks.com/inventory/md/md30999332674.jpg)
Principles of Intuitionism. [= Lecture Notes in Mathematics, Bd. 95]
Idioma: Inglés
Publicado por Berlin, Heidelberg, New York, Springer,, 1969
Librería: Antiquariat hinter der Stadtmauer, Hann. Münden, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 15,00
Envío por EUR 72,75
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoSoftcover/Paperback. Condición: Sehr gut. 111 S., 28x21 cm OBroschur, kart. Kanten wenig berieben/bestoßen; innen sauber und fest; sehr gutes Exemplar. Sprache: Englisch Gewicht in Gramm: 300.
