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
Recibe notificaciones sobre nuevos lanzamientos de A. S. Troelstra

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

Aún no valorado

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

Más del mismo editor

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