Structural Proof Theory - Negri, Sara (University of Helsinki) - Libros - Cambridge University Press - 9780521068420 - 10 de julio de 2008
En caso de que portada y título no coincidan, el título será el correcto

Structural Proof Theory

Precio
$ 74,49
sin IVA

Pedido desde almacén remoto

Entrega prevista 17 de jun. - 6 de jul.
Añadir a tu lista de deseos de iMusic

También disponible como:

Structural proof theory studies the general structure and properties of logical and mathematical proofs. This book is both a concise introduction to structural proof theory and a work of research that will be of interest to specialists. A special feature is a downloadable computer program for developing proofs interactively.


276 pages, black & white illustrations

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 10 de julio de 2008
ISBN13 9780521068420
Editores Cambridge University Press
Páginas 276
Dimensiones 229 × 155 × 18 mm   ·   416 g
Lengua Inglés  

Mas por Negri, Sara (University of Helsinki)

Mostrar todo

Mere med samme udgiver