Proofs and Computations - Perspectives in Logic - Schwichtenberg, Helmut (Ludwig-Maximilians-Universitat Munchen) - Libros - Cambridge University Press - 9780521517690 - 15 de diciembre de 2011
En caso de que portada y título no coincidan, el título será el correcto

Schwichtenberg, Helmut (Ludwig-Maximilians-Universitat Munchen)
Proofs and Computations - Perspectives in Logic

Precio
$ 109,49
sin IVA

Pedido desde almacén remoto

Entrega prevista 23 de jun. - 10 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

Written by acknowledged experts, for advanced students and researchers in mathematical logic and computer science, this volume provides a detailed, self-contained coverage of proof theory in both classical and constructive arithmetics, up to finitely iterated inductive definitions. Deep connections with computability, complexity and program extraction form the principal themes.

480 pages, 8 b/w illus.

Medios de comunicación Libros     Hardcover Book   (Libro con lomo y cubierta duros)
Publicado 15 de diciembre de 2011
ISBN13 9780521517690
Editores Cambridge University Press
Páginas 480
Dimensiones 233 × 158 × 29 mm   ·   884 g
Lengua Inglés  

Mere med samme udgiver

Ver todo de Schwichtenberg, Helmut (Ludwig-Maximilians-Universitat Munchen) ( Ej. Hardcover Book )