Basic Proof Theory - Cambridge Tracts in Theoretical Computer Science - Troelstra, A. S. (Universiteit van Amsterdam) - Libros - Cambridge University Press - 9780521779111 - 27 de julio de 2000
En caso de que portada y título no coincidan, el título será el correcto

Troelstra, A. S. (Universiteit van Amsterdam)
Basic Proof Theory - Cambridge Tracts in Theoretical Computer Science 2 Revised edition

Precio
$ 64,99
sin IVA

Pedido desde almacén remoto

Entrega prevista 19 de jun. - 1 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

This is an introduction to the basic ideas of structural proof theory. For the new edition, many sections have been rewritten to improve clarity, new sections have been added on cut elimination, and solutions to selected exercises have been included.

432 pages, 3 b/w illus. 201 exercises

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 27 de julio de 2000
ISBN13 9780521779111
Editores Cambridge University Press
Páginas 432
Dimensiones 153 × 229 × 26 mm   ·   642 g
Lengua Inglés  
Editor de series Abramsky, S.
Editor de series Aczel, P. H.
Editor de series Bakker, J. W. de
Editor de series Gurevich, Y.
Editor de series Tucker, J. V.
Editor de series Van Rijsbergen, C. J.

Mere med samme udgiver

Ver todo de Troelstra, A. S. (Universiteit van Amsterdam) ( Ej. Paperback Book )