An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs - Mancosu, Paolo (Willis S. and Marion Slusser Professor of Philosophy, Willis S. and Marion Slusser Professor of Philosophy, University of California at Berkeley) - Libros - Oxford University Press - 9780192895936 - 17 de agosto de 2021
En caso de que portada y título no coincidan, el título será el correcto

Mancosu, Paolo (Willis S. and Marion Slusser Professor of Philosophy, Willis S. and Marion Slusser Professor of Philosophy, University of California at Berkeley)
An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs

Precio
$ 171,99
sin IVA

Pedido desde almacén remoto

Entrega prevista 26 de jun. - 9 de jul.

Nuestros clientes opinan:

Política de devolución de 14 días conforme a la legislación europea de protección de los consumidores
Mejor valorado en Trustpilot
Añadir a tu lista de deseos de iMusic

También disponible como:

An Introduction to Proof Theory provides an accessible introduction to the theory of proofs, with details of proofs worked out and examples and exercises to aid the reader's understanding.

432 pages

Medios de comunicación Libros     Hardcover Book   (Libro con lomo y cubierta duros)
Publicado 17 de agosto de 2021
ISBN13 9780192895936
Editores Oxford University Press
Páginas 432
Dimensiones 241 × 165 × 31 mm   ·   812 g
Lengua Inglés  

Mere med samme udgiver

Ver todo de Mancosu, Paolo (Willis S. and Marion Slusser Professor of Philosophy, Willis S. and Marion Slusser Professor of Philosophy, University of California at Berkeley) ( Ej. Hardcover Book y Paperback Book )