Artículos relacionados a Advances in Proof Theory: 28 (Progress in Computer...
Sinopsis
The aim of this volume is to collect original contributions by the best specialists from the area of proof theory, constructivity, and computation and discuss recent trends and results in these areas. Some emphasis will be put on ordinal analysis, reductive proof theory, explicit mathematics and type-theoretic formalisms, and abstract computations. The volume is dedicated to the 60th birthday of Professor Gerhard Jäger, who has been instrumental in shaping and promoting logic in Switzerland for the last 25 years. It comprises contributions from the symposium "Advances in Proof Theory", which was held in Bern in December 2013.
"Sinopsis" puede pertenecer a otra edición de este libro.
De la contraportada
The aim of this volume is to collect original contributions by the best specialists from the area of proof theory, constructivity, and computation and discuss recent trends and results in these areas. Some emphasis will be put on ordinal analysis, reductive proof theory, explicit mathematics and type-theoretic formalisms, and abstract computations. The volume is dedicated to the 60th birthday of Professor Gerhard Jäger, who has been instrumental in shaping and promoting logic in Switzerland for the last 25 years. It comprises contributions from the symposium “Advances in Proof Theory”, which was held in Bern in December 2013.
"Sobre este título" puede pertenecer a otra edición de este libro.
Comprar nuevo
Ver este artículo
EUR 91,28
GRATIS gastos de envío desde Estados Unidos de America a España
Destinos, gastos y plazos de envío
Resultados de la búsqueda para Advances in Proof Theory: 28 (Progress in Computer...
Imagen de archivo
ADVANCES IN PROOF THEORY
Librería: Romtrade Corp., STERLING HEIGHTS, MI, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. Nº de ref. del artículo: ABNR-241642
Cantidad disponible: 2 disponibles
Imagen de archivo
Advances in Proof Theory (Progress in Computer Science and Applied Logic)
Publicado por
Springer (India) Private Limited, 2016
ISBN 10: 3319291963
ISBN 13: 9783319291963
Nuevo
Tapa dura
Librería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
Condición: New. pp. 425. Nº de ref. del artículo: 26375076242
Cantidad disponible: 4 disponibles
Imagen de archivo
Advances in Proof Theory (Progress in Computer Science and Applied Logic)
Publicado por
Springer (India) Private Limited, 2016
ISBN 10: 3319291963
ISBN 13: 9783319291963
Nuevo
Tapa dura
Librería: Majestic Books, Hounslow, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. pp. 425. Nº de ref. del artículo: 372017741
Cantidad disponible: 4 disponibles
Imagen del vendedor
Advances in Proof Theory
Publicado por
Springer International Publishing, 2016
ISBN 10: 3319291963
ISBN 13: 9783319291963
Nuevo
Tapa dura
Librería: moluna, Greven, Alemania
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book contains state-of-the-art contributions to various topics in Proof TheoryThe papers range from traditional mathematical proof theory via constructive mathematics to applications in computer science  This volume is dedicated t. Nº de ref. del artículo: 109484074
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Advances in Proof Theory (Progress in Computer Science and Applied Logic)
Publicado por
Springer (India) Private Limited, 2016
ISBN 10: 3319291963
ISBN 13: 9783319291963
Nuevo
Tapa dura
Librería: Biblios, Frankfurt am main, HESSE, Alemania
Calificación del vendedor: 4 de 5 estrellas
Condición: New. pp. 425. Nº de ref. del artículo: 18375076248
Cantidad disponible: 4 disponibles
Imagen del vendedor
Advances in Proof Theory
Publicado por
Springer International Publishing Mai 2016, 2016
ISBN 10: 3319291963
ISBN 13: 9783319291963
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 -The aim of this volume is to collect original contributions by the best specialists from the area of proof theory, constructivity, and computation and discuss recent trends and results in these areas. Some emphasis will be put on ordinal analysis, reductive proof theory, explicit mathematics and type-theoretic formalisms, and abstract computations. The volume is dedicated to the 60th birthday of Professor Gerhard Jäger, who has been instrumental in shaping and promoting logic in Switzerland for the last 25 years. It comprises contributions from the symposium 'Advances in Proof Theory', which was held in Bern in December 2013. Proof theory came into being in the twenties of the last century, when it was inaugurated by David Hilbert in order to secure the foundations of mathematics. It was substantially influenced by Gödel's famous incompleteness theorems of 1930 and Gentzen's new consistency proof for the axiom system of first order number theory in 1936. Today, proof theory is a well-established branch of mathematical and philosophical logic and one of the pillars of the foundations of mathematics. Proof theory explores constructive and computational aspects of mathematical reasoning; it is particularly suitable for dealing with various questions in computer science. 440 pp. Englisch. Nº de ref. del artículo: 9783319291963
Cantidad disponible: 2 disponibles
Imagen del vendedor
Advances in Proof Theory
Publicado por
Springer International Publishing, 2016
ISBN 10: 3319291963
ISBN 13: 9783319291963
Nuevo
Tapa dura
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
Buch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - The aim of this volume is to collect original contributions by the best specialists from the area of proof theory, constructivity, and computation and discuss recent trends and results in these areas. Some emphasis will be put on ordinal analysis, reductive proof theory, explicit mathematics and type-theoretic formalisms, and abstract computations. The volume is dedicated to the 60th birthday of Professor Gerhard Jäger, who has been instrumental in shaping and promoting logic in Switzerland for the last 25 years. It comprises contributions from the symposium 'Advances in Proof Theory', which was held in Bern in December 2013. Proof theory came into being in the twenties of the last century, when it was inaugurated by David Hilbert in order to secure the foundations of mathematics. It was substantially influenced by Gödel's famous incompleteness theorems of 1930 and Gentzen's new consistency proof for the axiom system of first order number theory in 1936. Today, proof theory is a well-established branch of mathematical and philosophical logic and one of the pillars of the foundations of mathematics. Proof theory explores constructive and computational aspects of mathematical reasoning; it is particularly suitable for dealing with various questions in computer science. Nº de ref. del artículo: 9783319291963
Cantidad disponible: 1 disponibles
Imagen de archivo
Advances in Proof Theory (Progress in Computer Science and Applied Logic, 28)
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: ria9783319291963_new
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Advances in Proof Theory
Publicado por
Springer International Publishing, Springer International Publishing Mai 2016, 2016
ISBN 10: 3319291963
ISBN 13: 9783319291963
Nuevo
Buch
Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemania
Calificación del vendedor: 5 de 5 estrellas
Buch. Condición: Neu. Neuware -¿Proof theory came into being in the twenties of the last century, when it was inaugurated by David Hilbert in order to secure the foundations of mathematics. It was substantially influenced by Gödel's famous incompleteness theorems of 1930 and Gentzen's new consistency proof for the axiom system of first order number theory in 1936. Today, proof theory is a well-established branch of mathematical and philosophical logic and one of the pillars of the foundations of mathematics. Proof theory explores constructive and computational aspects of mathematical reasoning; it is particularly suitable for dealing with various questions in computer science.Springer Basel AG in Springer Science + Business Media, Heidelberger Platz 3, 14197 Berlin 440 pp. Englisch. Nº de ref. del artículo: 9783319291963
Cantidad disponible: 2 disponibles
Imagen de archivo
Advances in Proof Theory
Librería: Revaluation Books, Exeter, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Hardcover. Condición: Brand New. 440 pages. 9.50x6.50x1.25 inches. In Stock. Nº de ref. del artículo: x-3319291963
Cantidad disponible: 2 disponibles