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
The blind spot

Tapa de The blind spot

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

The blind spot

de Jean-Yves Girard

Materias

Proof theory
Logic
Théorie de la preuve
Mathematical logic
Mathematical logic and foundations
Category theory; homological algebra
Computer science

Ediciones (1)

The blind spot (2011)
European Mathematical Society · inglés · ISBN 9783037190883

Más obras de Jean-Yves Girard

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

The blind spot — Jean-Yves Girard | Cutter Number

MMachine de Turing

Machine de Turing

Tapa de Face à faces

Face à faces

Ver todas las obras de Jean-Yves Girard →