Name: A Short Introduction to Intuitionistic Logic (en Inglés)
Price: 479.67 PEN
Availability: InStock
Author: Mints, Grigori
ISBN: 9781475773194

portada A Short Introduction to Intuitionistic Logic (en Inglés)

A Short Introduction to Intuitionistic Logic (en Inglés)

Formato

Libro Físico

Autor

Grigori Mints

Editorial

Springer

Idioma

Inglés

N° páginas

131

Encuadernación

Tapa Blanda

Dimensiones

23.4 x 15.6 x 0.8 cm

Peso

0.21 kg.

ISBN13

9781475773194

Categorías

Ciencia y análisis de datos: generalidades
Lógica matemática
Filosofía: lógica
Análisis y captura de datos

A Short Introduction to Intuitionistic Logic (en Inglés)

Grigori Mints (Autor) · Springer · Tapa Blanda

Libro Nuevo Importado

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

S/ 1.065,93S/ 479,67

-55%

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

Libro Nuevo

Quedan más de 100 unidades

S/ 479,67

Llega entre el 08 Jul y el 16 Jul a CERCADO DE LIMA, Lima. Seleccionar ubicación

Agregar a lista de deseos

Reseña del libro "A Short Introduction to Intuitionistic Logic (en Inglés)"

Intuitionistic logic is presented here as part of familiar classical logic which allows mechanical extraction of programs from proofs. to make the material more accessible, basic techniques are presented first for propositional logic; Part II contains extensions to predicate logic. This material provides an introduction and a safe background for reading research literature in logic and computer science as well as advanced monographs. Readers are assumed to be familiar with basic notions of first order logic. One device for making this book short was inventing new proofs of several theorems. The presentation is based on natural deduction. The topics include programming interpretation of intuitionistic logic by simply typed lambda-calculus (Curry-Howard isomorphism), negative translation of classical into intuitionistic logic, normalization of natural deductions, applications to category theory, Kripke models, algebraic and topological semantics, proof-search methods, interpolation theorem. The text developed from materal for several courses taught at Stanford University in 1992-1999.