Lectures on Linear Logic - Center for the Study of Language and Information Publication Lecture Notes - A. S. Troelstra - Libros - Centre for the Study of Language & Infor - 9780937073773 - 30 de mayo de 1992
En caso de que portada y título no coincidan, el título será el correcto

A. S. Troelstra
Lectures on Linear Logic - Center for the Study of Language and Information Publication Lecture Notes 2nd edition

Recibe un correo electrónico cuando el artículo esté disponible
¿Tienes un perfil? Iniciar sesión

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

The initial sections of this text deal with syntactical matters such as logical formalism, cut-elimination, and the embedding of intuitionistic logic in classical linear logic. Concluding chapters focus on proofnets for the multiplicative fragment and the algorithmic interpretation of cut-elimination in proofnets.

215 pages, illustrations

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 30 de mayo de 1992
ISBN13 9780937073773
Editores Centre for the Study of Language & Infor
Páginas 215
Dimensiones 152 × 228 × 20 mm   ·   454 g   (Peso (estimado))

Mas por A. S. Troelstra

Mostrar todo

Mere med samme udgiver

Ver todo de A. S. Troelstra ( Ej. Paperback Book , Hardcover Book y Book )