cutternumberG216c

Calculadora Explorar ¿Qué es el Cutter?

Buscar en el catálogo

Cargando…

cutternumber.com.ar

Número de Cutter-Sanborn y catálogo bibliográfico en español, con millones de obras, ediciones y autores.

Calculadora Cutter Guía de catalogación Explorar el catálogo

Datos bibliográficos de Open Library (Internet Archive). Tabla Cutter-Sanborn de tres cifras.

Inicio
Explorar
Proof Theory and Logical Complexity

Tapa de Proof Theory and Logical Complexity

Número de Cutter-SanbornG517pEntrada «Girar» → 517 · marca de obra “p”

Proof Theory and Logical Complexity

de Jean-Yves Girard

Materias

Proof theory

Ediciones (2)

Proof Theory and Logical Complexity (1990)
Elsevier Science Pub Co · inglés · ISBN 9780444987150
Proof theory and logical complexity (1987)
Bibliopolis · inglés

Más obras de Jean-Yves Girard

Tapa de The blind spot

The blind spot

Tapa de Advances in linear logic

Proof Theory and Logical Complexity — Jean-Yves Girard | Cutter Number

Advances in linear logic

Tapa de Proofs and types

Proofs and types

Tapa de Linear Logic in Computer Science

Linear Logic in Computer Science

Tapa de Immortal Element

Immortal Element

MMachine de Turing

Machine de Turing

Ver todas las obras de Jean-Yves Girard →