Importe total (1 artículo artículos):
Destino del pedido:
wolfram pohlers (41 resultados)
Comentarios
Ir a los resultados principales
Filtros de búsqueda
Tipo de artículo
- Todos los tipos de productos
- Libros (41)
- 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.)
Encuadernación
Más atributos
- Primera edición (1)
- Firmado (No hay ningún otro resultado que coincida con este filtro.)
- Sobrecubierta (No hay ningún otro resultado que coincida con este filtro.)
- Con imágenes (18)
- No impresión bajo demanda (32)
Idioma (3)
Gastos de envío gratis
- Envío gratis a España (No hay ningún otro resultado que coincida con este filtro.)
Ubicación del vendedor
Valoración de los vendedores
-
![Imagen de archivo de Logic Colloquium '02: Lecture Notes in Logic 27 [Paperback] Chatzidakis, Zoé; Koepke, Peter and Pohlers, Wolfram a la venta por Hay-on-Wye Booksellers](https://pictures.abebooks.com/isbn/9781568813011-es-300.jpg)
Logic Colloquium '02: Lecture Notes in Logic 27 [Paperback] Chatzidakis, Zoé; Koepke, Peter and Pohlers, Wolfram
Librería: Hay-on-Wye Booksellers, Hay-on-Wye, HEREF, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 3,89
Convertir monedaEUR 10,08 gastos de envío desde Reino Unido a EspañaCantidad disponible: 1 disponibles
Añadir al carritoCondición: Fine.
-
Proof Theory. An Introduction.
Librería: Antiquariat Bookfarm, Löbnitz, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 13,60
Convertir monedaEUR 7,00 gastos de envío desde Alemania a EspañaCantidad disponible: 1 disponibles
Añadir al carritoSoftcover. Ex-library with stamp and library-signature. GOOD condition, some traces of use. C-03473 3540518428 Sprache: Englisch Gewicht in Gramm: 550.
-
Mathematische Grundlagen der Informatik.
Publicado por München [u.a.], Oldenbourg., 1993
ISBN 10: 3486221132 ISBN 13: 9783486221138
Idioma: Alemán
Librería: Augusta-Antiquariat GbR, Diedorf OT Biburg, Alemania
Calificación del vendedor: 4 de 5 estrellas
Original o primera edición
EUR 10,00
Convertir monedaEUR 8,50 gastos de envío desde Alemania a EspañaCantidad disponible: 1 disponibles
Añadir al carrito1. Auflage 24,5x17 cm. 193 S., Hardcover, Pappeinband, mit den üblichen Bibliotheks-Markierungen, Stempeln und Einträgen, innen wie außen, siehe Bilder. (Evtl. auch Kleber- und/oder Etikettenreste, sowie -abdrücke durch abgelöste Bibliotheksschilder). Innen sauberer, guter Zustand. Das vorliegende Buch führt in die Theorie der Berechenbarkeit ein. Es beginnt mit der Theorie maschinenberechenbarer Funktionen und setzt diese in Zusammenhang mit rekursiven und lambda-definierten Funktionen. Reihe: Handbuch der Informatik, Band 1.5.
-
Proof Theory: An Introduction (Lecture Notes in Mathematics) (Lecture Notes in Mathematics, 1407, Band 1407)
Librería: Studibuch, Stuttgart, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 14,28
Convertir monedaEUR 13,90 gastos de envío desde Alemania a EspañaCantidad disponible: 1 disponibles
Añadir al carritopaperback. Condición: Befriedigend. 228 Seiten; 9783540518426.4 Gewicht in Gramm: 500.
-
Mathematische Grundlagen der Informatik.
Librería: Antiquariat Bookfarm, Löbnitz, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 15,92
Convertir monedaEUR 7,00 gastos de envío desde Alemania a EspañaCantidad disponible: 1 disponibles
Añadir al carritoHardcover. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. Ex-library with stamp and library-signature. GOOD condition, some traces of use. 93A1160 3486221132 Sprache: Deutsch Gewicht in Gramm: 600.
-
Proof Theory: An Introduction. Lecture notes in mathematics; Vol. 1407.
Publicado por Berlin; Heidelberg; New York; Springer., 1989
Idioma: Inglés
Librería: Antiquariat Thomas Haker GmbH & Co. KG, Berlin, Alemania
Miembro de asociación: GIAQ
Calificación del vendedor: 5 de 5 estrellas
EUR 31,80
Convertir monedaEUR 8,00 gastos de envío desde Alemania a EspañaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Gut. 213 p.; 24 cm, Good condition. Sprache: Englisch Gewicht in Gramm: 470.
-
Mathematische Grundlagen der Informatik.
Publicado por Mchn., Wien, Oldenbourg 1993., 1993
Librería: Antiquariat Löcker, Wien, Austria
Miembro de asociación: GIAQ ILAB VDA VDAO
Calificación del vendedor: 5 de 5 estrellas
EUR 22,00
Convertir monedaEUR 15,00 gastos de envío desde Austria a EspañaCantidad disponible: 1 disponibles
Añadir al carritogr.-8°, 193 S., OPp., mit einigen Randverm., insges. sehr sauber und gut. (= Handbuch der Informatik Bd. 1.5).
-
Proof Theory: The First Step into Impredicativity (Universitext)
Publicado por Springer Berlin Heidelberg, 2010
ISBN 10: 3540693181 ISBN 13: 9783540693185
Idioma: Inglés
Librería: Studibuch, Stuttgart, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 29,23
Convertir monedaEUR 17,90 gastos de envío desde Alemania a EspañaCantidad disponible: 1 disponibles
Añadir al carritopaperback. Condición: Gut. Seiten; 9783540693185.3 Gewicht in Gramm: 2.
-
Proof Theory: The First Step Into Impredicativity
Librería: ThriftBooks-Atlanta, AUSTELL, GA, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 60,67
Convertir monedaEUR 8,60 gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less 1.3.
-
Logic Colloquium '02: Lecture Notes in Logic 27: Lecture Notes in Logic 27 [Paperback] Chatzidakis, Zo
Librería: Broad Street Books, Branchville, NJ, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 33,52
Convertir monedaEUR 44,00 gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: New. Brand New Book.
-
Logic Colloquium '02: Proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic And Colloquium Logicum, held in Munster, Germany, August 3-11,
Librería: Revaluation Books, Exeter, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 66,24
Convertir monedaEUR 11,86 gastos de envío desde Reino Unido a EspañaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Brand New. 359 pages. 8.75x5.75x0.75 inches. In Stock.
-
Logic Colloquium '02: Lecture Notes in Logic 27: Lecture Notes in Logic 27
Librería: THE SAINT BOOKSTORE, Southport, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 73,52
Convertir monedaEUR 8,17 gastos de envío desde Reino Unido a EspañaCantidad disponible: 1 disponibles
Añadir al carritoPaperback / softback. Condición: New. New copy - Usually dispatched within 4 working days. 544.
-
Proof Theory
Publicado por Springer Nature (Sie), 2020
Idioma: Inglés
Librería: Books in my Basket, New Delhi, India
Calificación del vendedor: 5 de 5 estrellas
EUR 42,70
Convertir monedaEUR 16,50 gastos de envío desde India a EspañaCantidad disponible: 2 disponibles
Añadir al carritoN.A. Condición: New. ISBN:9783662600610.
-
Proof Theory: The First Step into Impredicativity (Universitext)
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 81,15
Convertir monedaEUR 4,72 gastos de envío desde Reino Unido a EspañaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
-
Logic Colloquium '02
Librería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
EUR 76,07
Convertir monedaEUR 10,13 gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: 4 disponibles
Añadir al carritoCondición: New. pp. 370.
-
Logic Colloquium '02 : Proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic And Colloquium Logicum, held in Munster, Germany, August 3-11, 2002
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 69,53
Convertir monedaEUR 17,61 gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: 10 disponibles
Añadir al carritoCondición: New.
-
Logic Colloquium '02 : Proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic And Colloquium Logicum, held in Munster, Germany, August 3-11, 2002
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 70,02
Convertir monedaEUR 17,79 gastos de envío desde Reino Unido a EspañaCantidad disponible: 10 disponibles
Añadir al carritoCondición: New.
-
Logic Colloquium '02
Librería: Biblios, Frankfurt am main, HESSE, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 74,01
Convertir monedaEUR 14,50 gastos de envío desde Alemania a EspañaCantidad disponible: 3 disponibles
Añadir al carritoCondición: New. pp. 370.
-
Proof Theory : The First Step into Impredicativity
Librería: Chiron Media, Wallingford, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 75,01
Convertir monedaEUR 17,78 gastos de envío desde Reino Unido a EspañaCantidad disponible: 10 disponibles
Añadir al carritoPF. Condición: New.
-
Proof Theory : The First Step into Impredicativity
Publicado por Springer, Berlin, Springer Berlin Heidelberg, Springer, 2008
ISBN 10: 3540693181 ISBN 13: 9783540693185
Idioma: Inglés
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 79,75
Convertir monedaEUR 11,99 gastos de envío desde Alemania a EspañaCantidad disponible: 2 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - The kernel of this book consists of a series of lectures on in nitary proof theory which I gave during my time at the Westfalische Wilhelms-Universitat in Munster . It was planned as a successor of Springer Lecture Notes in Mathematics 1407. H- ever, when preparing it, I decided to also include material which has not been treated in SLN 1407. Since the appearance of SLN 1407 many innovations in the area of - dinal analysis have taken place. Just to mention those of them which are addressed in this book: Buchholz simpli ed local predicativity by the invention of operator controlled derivations (cf. Chapter 9, Chapter 11); Weiermann detected applications of methods of impredicative proof theory to the characterization of the provable recursive functions of predicative theories (cf. Chapter 10); Beckmann improved Gentzen's boundedness theorem (which appears as Stage Theorem (Theorem 6. 6. 1) in this book) to Theorem 6. 6. 9, a theorem which is very satisfying in itself - though its real importance lies in the ordinal analysis of systems, weaker than those treated here. Besides these innovations I also decided to include the analysis of the theory ( -REF) as an example of a subtheory of set theory whose ordinal analysis only 2 0 requires a rst step into impredicativity. The ordinal analysis of( -FXP) of non- 0 1 0 monotone -de nable inductive de nitions in Chapter 13 is an application of the 1 analysis of( -REF).
-
Proof Theory: The First Step into Impredicativity (Universitext)
Librería: California Books, Miami, FL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 88,00
Convertir monedaEUR 7,05 gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Proof Theory : An Introduction
Publicado por Springer Berlin Heidelberg, Springer Berlin Heidelberg, 1989
ISBN 10: 3540518428 ISBN 13: 9783540518426
Idioma: Inglés
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 80,24
Convertir monedaEUR 11,99 gastos de envío desde Alemania a EspañaCantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - Although this is an introductory text on proof theory, most of its contents is not found in a unified form elsewhere in the literature, except at a very advanced level. The heart of the book is the ordinal analysis of axiom systems, with particular emphasis on that of the impredicative theory of elementary inductive definitions on the natural numbers. The 'constructive' consequences of ordinal analysis are sketched out in the epilogue. The book provides a self-contained treatment assuming no prior knowledge of proof theory and almost none of logic. The author has, moreover, endeavoured not to use the 'cabal language' of proof theory, but only a language familiar to most readers.
-
![Imagen de archivo de Proof Theory: An Introduction (Lecture Notes in Mathematics, Volume 1407) [Special Indian Edition - Reprint Year: 2020] a la venta por Mispah books](https://pictures.abebooks.com/isbn/9783662600610-es-300.jpg)
Proof Theory: An Introduction (Lecture Notes in Mathematics, Volume 1407) [Special Indian Edition - Reprint Year: 2020]
Librería: Mispah books, Redhill, SURRE, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
EUR 87,97
Convertir monedaEUR 29,66 gastos de envío desde Reino Unido a EspañaCantidad disponible: 1 disponibles
Añadir al carritopaperback. Condición: Like New. Like New. book.
-
Proof Theory
Librería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
EUR 115,65
Convertir monedaEUR 10,13 gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: 4 disponibles
Añadir al carritoCondición: New. pp. 390.
-
Proof Theory: An Introduction (Lecture Notes in Computer Science)
Publicado por Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1996
ISBN 10: 3540518428 ISBN 13: 9783540518426
Idioma: Inglés
Librería: Revaluation Books, Exeter, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 117,52
Convertir monedaEUR 11,86 gastos de envío desde Reino Unido a EspañaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Brand New. 220 pages. 9.13x6.22x0.63 inches. In Stock.
-
Logic Colloquium '02 : Proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic And Colloquium Logicum, held in Munster, Germany, August 3-11, 2002
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 111,18
Convertir monedaEUR 17,79 gastos de envío desde Reino Unido a EspañaCantidad disponible: 10 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
-
Proof Theory: An Introduction (Lecture Notes in Mathematics, 1407)
Librería: BGV Books LLC, Murray, KY, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 67,01
Convertir monedaEUR 61,66 gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: 3 disponibles
Añadir al carritoCondición: New. Exact ISBN match. Immediate shipping. No funny business.
-
Logic Colloquium *02: Lecture Notes in Logic 27
Librería: Mispah books, Redhill, SURRE, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
EUR 101,41
Convertir monedaEUR 29,66 gastos de envío desde Reino Unido a EspañaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Like New. Like New. book.
-
Proof Theory: An Introduction (Lecture Notes in Mathematics, 1407)
Librería: BooksRun, Philadelphia, PA, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 67,40
Convertir monedaEUR 66,06 gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Fair. Ship within 24hrs. Satisfaction 100% guaranteed. APO/FPO addresses supported.
-
Logic Colloquium '02 : Proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic And Colloquium Logicum, held in Munster, Germany, August 3-11, 2002
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 132,56
Convertir monedaEUR 17,61 gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: 10 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
