Artículos relacionados a Handbook of Proof Theory: Volume 137 (Studies in Logic...
Handbook of Proof Theory: Volume 137 (Studies in Logic and the Foundations of Mathematics, Volume 137) - Tapa dura
Sinopsis
This volume contains articles covering a broad spectrum of proof theory, with an emphasis on its mathematical aspects. The articles should not only be interesting to specialists of proof theory, but should also be accessible to a diverse audience, including logicians, mathematicians, computer scientists and philosophers. Many of the central topics of proof theory have been included in a self-contained expository of articles, covered in great detail and depth.The chapters are arranged so that the two introductory articles come first; these are then followed by articles from core classical areas of proof theory; the handbook concludes with articles that deal with topics closely related to computer science.
"Sinopsis" puede pertenecer a otra edición de este libro.
Críticas
Toshiyasu Arai
The Handbook is most welcome in the logic community. I recommend the Handbook to researchers and graduate students in logic, mathematics, computer science, philosophy, linguistics, artificial intelligence, automated reasoning and cognitive sciences.
Bulletin of Symbolic Logic
Reseña del editor
This volume contains articles covering a broad spectrum of proof theory, with an emphasis on its mathematical aspects. The articles should not only be interesting to specialists of proof theory, but should also be accessible to a diverse audience, including logicians, mathematicians, computer scientists and philosophers. Many of the central topics of proof theory have been included in a self-contained expository of articles, covered in great detail and depth.
The chapters are arranged so that the two introductory articles come first; these are then followed by articles from core classical areas of proof theory; the handbook concludes with articles that deal with topics closely related to computer science.
"Sobre este título" puede pertenecer a otra edición de este libro.
Comprar nuevo
Ver este artículo
EUR 137,24
EUR 17,24 gastos de envío desde Reino Unido a España
Destinos, gastos y plazos de envíoResultados de la búsqueda para Handbook of Proof Theory: Volume 137 (Studies in Logic...
Imagen del vendedor
Handbook of proof theory. Studies in logic and the foundations of mathematics 137.
Publicado por
Amsterdam, Elsevier [1998]., 1998
ISBN 10: 0444898409
ISBN 13: 9780444898401
Antiguo o usado
Tapa dura
Librería: Antiquariat Bookfarm, Löbnitz, Alemania
Calificación del vendedor: 5 de 5 estrellas
Hardcover. Ex-library with stamp and library-signature. GOOD condition, some traces of use. Ancien Exemplaire de bibliothèque avec signature et cachet. BON état, quelques traces d'usure. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. 03 HAN 9780444898401 Sprache: Englisch Gewicht in Gramm: 1100. Nº de ref. del artículo: 2502440
Cantidad disponible: 1 disponibles
Imagen de archivo
Handbook of Proof Theory: Volume 137 (Studies in Logic and the Foundations of Mathematics)
Publicado por
Elsevier Science 1998-07-09, 1998
ISBN 10: 0444898409
ISBN 13: 9780444898401
Nuevo
Tapa dura
Librería: Chiron Media, Wallingford, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
Hardcover. Condición: New. Nº de ref. del artículo: 6666-ELS-9780444898401
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Handbook of Proof Theory
Publicado por
Elsevier Science & Technology, Elsevier Science, 1998
ISBN 10: 0444898409
ISBN 13: 9780444898401
Nuevo
Buch
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Calificación del vendedor: 5 de 5 estrellas
Buch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains articles covering a broad spectrum of proof theory, with an emphasis on its mathematical aspects. The articles should not only be interesting to specialists of proof theory, but should also be accessible to a diverse audience, including logicians, mathematicians, computer scientists and philosophers. Many of the central topics of proof theory have been included in a self-contained expository of articles, covered in great detail and depth.The chapters are arranged so that the two introductory articles come first; these are then followed by articles from core classical areas of proof theory; the handbook concludes with articles that deal with topics closely related to computer science. Englisch. Nº de ref. del artículo: 9780444898401
Cantidad disponible: 2 disponibles
Imagen de archivo
Handbook of Proof Theory
Librería: Majestic Books, Hounslow, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. pp. 824 52:B&W 6.14 x 9.21in or 234 x 156mm (Royal 8vo) Case Laminate on White w/Gloss Lam. Nº de ref. del artículo: 8388490
Cantidad disponible: 3 disponibles
Imagen de archivo
Handbook of Proof Theory: Vol 137
Librería: Revaluation Books, Exeter, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Hardcover. Condición: Brand New. 1st edition. 811 pages. 9.25x6.50x1.50 inches. In Stock. Nº de ref. del artículo: __0444898409
Cantidad disponible: 2 disponibles
Imagen de archivo
HANDBOOK OF PROOF THEORY SL137H
Impresión bajo demandaLibrería: Brook Bookstore On Demand, Napoli, NA, Italia
Calificación del vendedor: 5 de 5 estrellas
Condición: new. Questo è un articolo print on demand. Nº de ref. del artículo: 7af934625ea72ee24c5fd0b4f9c7e8ab
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Handbook of Proof Theory
Publicado por
Elsevier Science & Technology, Elsevier Science, 1998
ISBN 10: 0444898409
ISBN 13: 9780444898401
Nuevo
Tapa dura
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
Buch. Condición: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - This volume contains articles covering a broad spectrum of proof theory, with an emphasis on its mathematical aspects. The articles should not only be interesting to specialists of proof theory, but should also be accessible to a diverse audience, including logicians, mathematicians, computer scientists and philosophers. Many of the central topics of proof theory have been included in a self-contained expository of articles, covered in great detail and depth.The chapters are arranged so that the two introductory articles come first; these are then followed by articles from core classical areas of proof theory; the handbook concludes with articles that deal with topics closely related to computer science. Nº de ref. del artículo: 9780444898401
Cantidad disponible: 2 disponibles
Imagen de archivo
Handbook of Proof Theory
Librería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
Condición: New. pp. 824. Nº de ref. del artículo: 26540757
Cantidad disponible: 3 disponibles
Imagen de archivo
Handbook of Proof Theory (Volume 137) (Studies in Logic and the Foundations of Mathematics, Volume 137)
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. In. Nº de ref. del artículo: ria9780444898401_new
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Handbook of Proof Theory
Librería: Biblios, Frankfurt am main, HESSE, Alemania
Calificación del vendedor: 5 de 5 estrellas
Condición: New. pp. 824. Nº de ref. del artículo: 18540767
Cantidad disponible: 3 disponibles