Artículos relacionados a Ordinal Analysis with an Introduction to Proof Theory...
Ordinal Analysis with an Introduction to Proof Theory (Logic in Asia: Studia Logica Library) - Tapa blanda
Libro 8 de 9: Logic in Asia: Studia Logica Library
Sinopsis
Introduction.- Calculi for classical logic.- Cut-elimination in depth.- Epsilon numbers.- Iterations.- Collapsings.
"Sinopsis" puede pertenecer a otra edición de este libro.
Acerca del autor
Toshiyasu Arai received a PhD from Tsukuba University. His thesis was on an extension of G. Takeuti’s consistency proofs.He got positions in Nagoya University, Hiroshima University, Kobe University, Chiba University, and University of Tokyo. His research interest is in proof theory. He received the MSJ Autumn Prize from the Mathematical Society of Japan in 2004 for the research on the Hilbert’s second problem.
De la contraportada
This book provides readers with a guide to both ordinal analysis, and to proof theory. It mainly focuses on ordinal analysis, a research topic in proof theory that is concerned with the ordinal theoretic content of formal theories. However, the book also addresses ordinal analysis and basic materials in proof theory of first-order or omega logic, presenting some new results and new proofs of known ones.Primarily intended for graduate students and researchers in mathematics, especially in mathematical logic, the book also includes numerous exercises and answers for selected exercises, designed to help readers grasp and apply the main results and techniques discussed.
"Sobre este título" puede pertenecer a otra edición de este libro.
Resultados de la búsqueda para Ordinal Analysis with an Introduction to Proof Theory...
Imagen de archivo
Ordinal Analysis with an Introduction to Proof Theory (eng)
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: ef5815fd040219e91227c383b9952be2
Comprar nuevo
EUR 62,23
Envío por EUR 6,80
Se envía de Italia a Estados Unidos de America
Se envía de Italia a Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Ordinal Analysis With an Introduction to Proof Theory
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 43627268-n
Comprar nuevo
EUR 70,63
Envío por EUR 2,32
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen del vendedor
Ordinal Analysis with an Introduction to Proof Theory
Publicado por
Springer Verlag, Singapore, SG, 2021
ISBN 10: 9811564612
ISBN 13: 9789811564611
Nuevo
Paperback
Librería: Rarewaves.com USA, London, LONDO, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Paperback. Condición: New. 2020 ed. This book provides readers with a guide to both ordinal analysis, and to proof theory. It mainly focuses on ordinal analysis, a research topic in proof theory that is concerned with the ordinal theoretic content of formal theories. However, the book also addresses ordinal analysis and basic materials in proof theory of first-order or omega logic, presenting some new results and new proofs of known ones.Primarily intended for graduate students and researchers in mathematics, especially in mathematical logic, the book also includes numerous exercises and answers for selected exercises, designed to help readers grasp and apply the main results and techniques discussed. Nº de ref. del artículo: LU-9789811564611
Comprar nuevo
EUR 80,25
Gastos de envío gratis
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Ordinal Analysis With an Introduction to Proof Theory
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: As New. Unread book in perfect condition. Nº de ref. del artículo: 43627268
Comprar usado
EUR 78,61
Envío por EUR 2,32
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
Ordinal Analysis With an Introduction to Proof Theory
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 43627268-n
Comprar nuevo
EUR 68,81
Envío por EUR 17,44
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
Ordinal Analysis with an Introduction to Proof Theory (Logic in Asia: Studia Logica Library)
Librería: California Books, Miami, FL, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
Condición: New. Nº de ref. del artículo: I-9789811564611
Comprar nuevo
EUR 87,71
Gastos de envío gratis
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Ordinal Analysis with an Introduction to Proof Theory
Librería: Chiron Media, Wallingford, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
PF. Condición: New. Nº de ref. del artículo: 6666-IUK-9789811564611
Comprar nuevo
EUR 69,79
Envío por EUR 18,01
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: 10 disponibles
Imagen de archivo
Ordinal Analysis with an Introduction to Proof Theory (Logic in Asia: Studia Logica Library)
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. In English. Nº de ref. del artículo: ria9789811564611_new
Comprar nuevo
EUR 80,46
Envío por EUR 13,13
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Ordinal Analysis With an Introduction to Proof Theory
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: As New. Unread book in perfect condition. Nº de ref. del artículo: 43627268
Comprar usado
EUR 80,28
Envío por EUR 17,44
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen del vendedor
Ordinal Analysis with an Introduction to Proof Theory
Publicado por
Springer Nature Singapore, Springer Nature Singapore Aug 2021, 2021
ISBN 10: 9811564612
ISBN 13: 9789811564611
Nuevo
Taschenbuch
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book provides readers with a guide to both ordinal analysis, and to proof theory. It mainly focuses on ordinal analysis, a research topic in proof theory that is concerned with the ordinal theoretic content of formal theories. However, the book also addresses ordinal analysis and basic materials in proof theory of first-order or omega logic, presenting some new results and new proofs of known ones.Primarily intended for graduate students and researchers in mathematics, especially in mathematical logic, the book also includes numerous exercises and answers for selected exercises, designed to help readers grasp and apply the main results and techniques discussed. 332 pp. Englisch. Nº de ref. del artículo: 9789811564611
Comprar nuevo
EUR 74,89
Envío por EUR 23,00
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: 2 disponibles