Name: Structural Proof Theory (en Inglés)
Price: 247.12 PEN
Availability: InStock
Author: Sara Negri
ISBN: 9780521068420

portada Structural Proof Theory (en Inglés)

Formato

Libro Físico

Editorial

Cambridge University Press

Autor

Sara Negri

Año

2008

Idioma

Inglés

N° páginas

276

Encuadernación

Tapa Blanda

Peso

ISBN

0521068428

ISBN13

9780521068420

N° edición

Categorías

Lógica matemática

Structural Proof Theory (en Inglés)

Sara Negri (Autor) · Cambridge University Press · Tapa Blanda

Más barato Libro Nuevo Importado

Envío: 12 a 17 días háb.

S/ 549,17S/ 247,12

-55%

Más rápido Libro Nuevo Importado

Envío: 10 a 14 días háb.

S/ 549,62S/ 247,33

-55%

Costos de importación incluídos en el precio ✅

Libro Nuevo Más barato

Quedan más de 100 unidades

S/ 247,12

Llega entre el 25 Ago y el 02 Sep a CERCADO DE LIMA, Lima. Seleccionar ubicación

Agregar a lista de deseos

Reseña del libro "Structural Proof Theory (en Inglés)"

Structural proof theory is a branch of logic that studies the general structure and properties of logical and mathematical proofs. This book is both a concise introduction to the central results and methods of structural proof theory, and a work of research that will be of interest to specialists. The book is designed to be used by students of philosophy, mathematics and computer science. The book contains a wealth of results on proof-theoretical systems, including extensions of such systems from logic to mathematics, and on the connection between the two main forms of structural proof theory - natural deduction and sequent calculus. The authors emphasize the computational content of logical results. A special feature of the volume is a computerized system for developing proofs interactively, downloadable from the web and regularly updated.