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 - 9780192895943 - 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
$ 42,99
sin IVA

Pedido desde almacén remoto

Entrega prevista 18 - 30 de jun.

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     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 17 de agosto de 2021
ISBN13 9780192895943
Editores Oxford University Press
Páginas 432
Dimensiones 233 × 157 × 26 mm   ·   654 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 )