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
Autores con J
Jean-Yves Girard

Número de Cutter-SanbornG517Entrada de tabla «Girar»

Jean-Yves Girard

· 11 obras en el catálogo

Obras

Tapa de The blind spot

The blind spot

Tapa de Advances in linear logic

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

Tapa de Face à faces

Face à faces

LLe fantôme de la transparence

Le fantôme de la transparence

PProof Theory Logical Complexity (Studies in Proof Theory)

Proof Theory Logical Complexity (Studies in Proof Theory)

Tapa de Typed Lambda Calculi and Applications

Typed Lambda Calculi and Applications

Tapa de Proof Theory and Logical Complexity

Proof Theory and Logical Complexity

Jean-Yves Girard — obras y número de Cutter | Cutter Number