Importe total (1 artículo artículos):
Destino del pedido:
stanley wainer (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 (45)
- Como nuevo, Excelente o Muy bueno (6)
- Bueno o Aceptable (4)
- Regular o Pobre (No hay ningún otro resultado que coincida con este filtro.)
- Tal como se indica (1)
Encuadernación
Más atributos
- Primera edición (6)
- 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 (15)
- No impresión bajo demanda (35)
Idioma (1)
Gastos de envío gratis
Ubicación del vendedor
Valoración de los vendedores
-
Proof Theory: A Selection of Papers From the Leeds Proof Theory Programme 1990
Idioma: Inglés
Publicado por Cambridge University Press, 1992
ISBN 10: 052141413X ISBN 13: 9780521414135
Librería: Chamblin Bookmine, Jacksonville, FL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Original o primera edición
EUR 13,28
Envío por EUR 6,01
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carrito8Vo Hardcover. Condición: Very Good. 1st. 306pp. White pages are unmarked. Boards are glossy with lightly bumped corners and minor shelf wear. Binding is tight and square, hinges are secure.
-
Proof Theory: A selection of papers from the Leeds Proof Theory Programme 1990
Idioma: Inglés
Publicado por Cambridge University Press, 2008
ISBN 10: 0521054168 ISBN 13: 9780521054164
Librería: Tim's Used Books Provincetown Mass., Provincetown, MA, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Original o primera edición
EUR 22,13
Envío por EUR 5,16
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoSoft cover. Condición: Very Good. 1st Edition. No marks in text. Not a library book. Ships in a cardboard enclosure, with tracking. Tim's Used Books, open shop in Provincetown USA, providing good books at fair prices on the same spot since 1991.
-
Proof Theory: A selection of papers from the Leeds Proof Theory Programme 1990.
Idioma: Inglés
Publicado por Cambridge University Press., 1993
ISBN 10: 0521054168 ISBN 13: 9780521054164
Librería: Universitätsbuchhandlung Herta Hold GmbH, Berlin, Alemania
Miembro de asociación: GIAQ ILAB VDA
Calificación del vendedor: 4 de 5 estrellas
EUR 17,00
Envío por EUR 30,00
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carrito1. Softcover. Versand aus Deutschland / We dispatch from Germany via Air Mail. Einband bestoßen, daher Mängelexemplar gestempelt, sonst sehr guter Zustand. Imperfect copy due to slightly bumped cover, apart from this in very good condition. Stamped. Sprache: Englisch.
-
Proof Theory: A selection of papers from the Leeds Proof Theory Programme 1990 (Volume 0)
Idioma: Inglés
Publicado por Cambridge University Press, 2008
ISBN 10: 0521054168 ISBN 13: 9780521054164
Librería: California Books, Miami, FL, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
EUR 54,88
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.
-
Proof Theory: A selection of papers from the Leeds Proof Theory Programme 1990 (Volume 0)
Idioma: Inglés
Publicado por Cambridge University Press, 2008
ISBN 10: 0521054168 ISBN 13: 9780521054164
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 52,00
Envío por EUR 13,86
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
-
Proof Theory: A selection of papers from the Leeds Proof Theory Programme 1990
Idioma: Inglés
Publicado por Cambridge University Press 2008-08-21, 2008
ISBN 10: 0521054168 ISBN 13: 9780521054164
Librería: Chiron Media, Wallingford, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 50,67
Envío por EUR 17,92
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoPaperback. Condición: New.
-
Proof Theory: A selection of papers from the Leeds Proof Theory Programme 1990
Idioma: Inglés
Publicado por Cambridge University Press, 2008
ISBN 10: 0521054168 ISBN 13: 9780521054164
Librería: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
Calificación del vendedor: 5 de 5 estrellas
Original o primera edición
EUR 59,56
Envío por EUR 10,50
Se envía de Irlanda a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. A collection of expository and research articles derived from the SERC 'Logic for IT' Summer School and Conference on Proof Theory. Editor(s): Aczel, Peter; Simmons, Harold (University of Manchester); Wainer, Stanley S. (University of Leeds). Num Pages: 320 pages, black & white illustrations. BIC Classification: PBCD; UYA. Category: (P) Professional & Vocational. Dimension: 228 x 152 x 18. Weight in Grams: 470. . 2008. 1st Edition. paperback. . . . .
-
Computability, Enumerability, Unsolvability : Directions in Recursion Theory
Libro 199 de 387: London Mathematical Society Lecture NotesIdioma: Inglés
Publicado por Cambridge University Press, 1996
ISBN 10: 0521557364 ISBN 13: 9780521557368
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 72,72
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.
-
Proof Theory
Idioma: Inglés
Publicado por Cambridge University Press CUP, 2008
ISBN 10: 0521054168 ISBN 13: 9780521054164
Librería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
EUR 73,89
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. 320.
-
PROOF THEORY: A SELECTION OF PAPERS FROM THE LEEDS PROOF THEORY PROGRAMME 1990
Idioma: Inglés
Publicado por Cambridge University Press, 1993
ISBN 10: 052141413X ISBN 13: 9780521414135
Librería: Basi6 International, Irving, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 78,27
Gastos de envío gratis
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
-
Computability, Enumerability, Unsolvability : Directions in Recursion Theory
Libro 199 de 387: London Mathematical Society Lecture NotesIdioma: Inglés
Publicado por Cambridge University Press, 1996
ISBN 10: 0521557364 ISBN 13: 9780521557368
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 76,89
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.
-
Proof Theory: A selection of papers from the Leeds Proof Theory Programme 1990
Idioma: Inglés
Publicado por Cambridge University Press, 2008
ISBN 10: 0521054168 ISBN 13: 9780521054164
Librería: Kennys Bookstore, Olney, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 72,79
Envío por EUR 9,02
Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. A collection of expository and research articles derived from the SERC 'Logic for IT' Summer School and Conference on Proof Theory. Editor(s): Aczel, Peter; Simmons, Harold (University of Manchester); Wainer, Stanley S. (University of Leeds). Num Pages: 320 pages, black & white illustrations. BIC Classification: PBCD; UYA. Category: (P) Professional & Vocational. Dimension: 228 x 152 x 18. Weight in Grams: 470. . 2008. 1st Edition. paperback. . . . . Books ship from the US and Ireland.
-
Proof Theory: A selection of papers from the Leeds Proof Theory Programme 1990
Idioma: Inglés
Publicado por Cambridge University Press, 1992
ISBN 10: 052141413X ISBN 13: 9780521414135
Librería: Fireside Bookshop, Stroud, GLOS, Reino Unido
Miembro de asociación: PBFA
Calificación del vendedor: 5 de 5 estrellas
EUR 59,57
Envío por EUR 28,92
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCloth/Laminated Boards. Condición: Very Good. Type: Book N.B. Small gold label to ffep. Slight fading to spine. Corners of boards a little bumped.
-
Proof Theory: A selection of papers from the Leeds Proof Theory Programme 1990
Idioma: Inglés
Publicado por Cambridge University Press, 1993
ISBN 10: 052141413X ISBN 13: 9780521414135
Librería: Labyrinth Books, Princeton, NJ, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
EUR 92,04
Envío por EUR 3,87
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: Very Good.
-
Computability, Enumerability, Unsolvability : Directions in Recursion Theory
Libro 199 de 387: London Mathematical Society Lecture NotesIdioma: Inglés
Publicado por Cambridge University Press, 1996
ISBN 10: 0521557364 ISBN 13: 9780521557368
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 82,36
Envío por EUR 17,35
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Computability, Enumerability, Unsolvability : Directions in Recursion Theory
Libro 199 de 387: London Mathematical Society Lecture NotesIdioma: Inglés
Publicado por Cambridge University Press, 1996
ISBN 10: 0521557364 ISBN 13: 9780521557368
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 83,58
Envío por EUR 17,35
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.
-
Proofs and Computations
Libro 2 de 17: Perspectives in LogicIdioma: Inglés
Publicado por Cambridge University Press, 2012
ISBN 10: 0521517699 ISBN 13: 9780521517690
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 101,03
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.
-
Proofs and Computations (Perspectives in Logic)
Libro 2 de 17: Perspectives in LogicIdioma: Inglés
Publicado por Cambridge University Press, 2012
ISBN 10: 0521517699 ISBN 13: 9780521517690
Librería: California Books, Miami, FL, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
EUR 103,57
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.
-
Proofs and Computations (Perspectives in Logic)
Libro 2 de 17: Perspectives in LogicIdioma: Inglés
Publicado por Cambridge University Press, 2012
ISBN 10: 0521517699 ISBN 13: 9780521517690
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 97,14
Envío por EUR 13,86
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
-
Proofs and Computations
Libro 2 de 17: Perspectives in LogicIdioma: Inglés
Publicado por Cambridge University Press, 2012
ISBN 10: 0521517699 ISBN 13: 9780521517690
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 97,13
Envío por EUR 17,35
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Proofs and Computations
Libro 2 de 17: Perspectives in LogicIdioma: Inglés
Publicado por Cambridge University Press, GB, 2011
ISBN 10: 0521517699 ISBN 13: 9780521517690
Librería: Rarewaves.com USA, London, LONDO, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 133,90
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 carritoHardback. Condición: New. Driven by the question, 'What is the computational content of a (formal) proof?', this book studies fundamental interactions between proof theory and computability. It provides a unique self-contained text for advanced students and researchers in mathematical logic and computer science. Part I covers basic proof theory, computability and Gödel's theorems. Part II studies and classifies provable recursion in classical systems, from fragments of Peano arithmetic up to ?11-CA0. Ordinal analysis and the (Schwichtenberg-Wainer) subrecursive hierarchies play a central role and are used in proving the 'modified finite Ramsey' and 'extended Kruskal' independence results for PA and ?11-CA0. Part III develops the theoretical underpinnings of the first author's proof assistant MINLOG. Three chapters cover higher-type computability via information systems, a constructive theory TCF of computable functionals, realizability, Dialectica interpretation, computationally significant quantifiers and connectives and polytime complexity in a two-sorted, higher-type arithmetic with linear logic.
-
Proof Theory : A Selection of Papers from the Leeds Proof Theory Programme 1990
Idioma: Inglés
Publicado por Cambridge University Press, 2008
ISBN 10: 0521054168 ISBN 13: 9780521054164
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 75,90
Envío por EUR 62,61
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 - A collection of expository and research articles derived from the SERC 'Logic for IT' Summer School and Conference on Proof Theory.
-
Proofs and Computations
Libro 2 de 17: Perspectives in LogicIdioma: Inglés
Publicado por Cambridge University Press, 2012
ISBN 10: 0521517699 ISBN 13: 9780521517690
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 127,48
Envío por EUR 17,35
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.
-
Proofs and Computations
Libro 2 de 17: Perspectives in LogicIdioma: Inglés
Publicado por Cambridge University Press CUP, 2012
ISBN 10: 0521517699 ISBN 13: 9780521517690
Librería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
EUR 141,91
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. 480 Index.
-
Proofs and Computations (Perspectives in Logic)
Libro 2 de 17: Perspectives in LogicIdioma: Inglés
Publicado por Cambridge University Press, 2012
ISBN 10: 0521517699 ISBN 13: 9780521517690
Librería: Mispah books, Redhill, SURRE, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
EUR 117,96
Envío por EUR 28,92
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: Like New. Like New. book.
-
Proofs and Computations
Libro 2 de 17: Perspectives in LogicIdioma: Inglés
Publicado por Cambridge University Press, 2012
ISBN 10: 0521517699 ISBN 13: 9780521517690
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 148,94
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.
-
Proof Theory: A selection of papers from the Leeds Proof Theory Programme 1990
Idioma: Inglés
Publicado por Cambridge University Press, 1993
ISBN 10: 052141413X ISBN 13: 9780521414135
Librería: California Books, Miami, FL, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
EUR 154,03
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.
-
Proofs and Computations
Libro 2 de 17: Perspectives in LogicLibrería: Revaluation Books, Exeter, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 140,37
Envío por EUR 14,46
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Añadir al carritoHardcover. Condición: Brand New. 1st edition. 480 pages. 9.50x6.25x1.25 inches. In Stock.
-
Proof Theory: A selection of papers from the Leeds Proof Theory Programme 1990
Idioma: Inglés
Publicado por Cambridge University Press, 1993
ISBN 10: 052141413X ISBN 13: 9780521414135
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 144,72
Envío por EUR 13,86
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
-
Proof Theory: A selection of papers from the Leeds Proof Theory Programme 1990
Idioma: Inglés
Publicado por Cambridge University Press, 1993
ISBN 10: 052141413X ISBN 13: 9780521414135
Librería: Mispah books, Redhill, SURRE, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
EUR 144,17
Envío por EUR 28,92
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
