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
Proofs and types

Tapa de Proofs and types

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

Proofs and types

de Jean-Yves Girard

Materias

Computer programming
Symbolic and mathematical Logic
Type theory
Proof theory
Calculus
Lambda calculus

Ediciones (1)

Proofs and types (1989)
Cambridge University Press · inglés · ISBN 9780521371810

Más obras de Jean-Yves Girard

Tapa de The blind spot

The blind spot

Tapa de Advances in linear logic

Advances in linear logic

Tapa de Linear Logic in Computer Science

Linear Logic in Computer Science

Tapa de Immortal Element

Immortal Element

Proofs and types — 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 →