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
Lectures on the Curry-Howard isomorphism

Tapa de Lectures on the Curry-Howard isomorphism

Número de Cutter-SanbornS999lEntrada «Szy» → 999 · marca de obra “l”

Lectures on the Curry-Howard isomorphism

de Morten Heine Sørensen

Materias

Curry-Howard isomorphism
Lambda calculus
Proof theory

Ediciones (3)

Lectures on the Curry-Howard isomorphism (2006)
Elsevier · inglés · ISBN 9780444520777
Lectures on the Curry-Howard Isomorphism, Volume 149 (Studies in Logic and the Foundations of Mathematics) (2006)
Elsevier Science · inglés · ISBN 9780444520777
Lectures on the Curry-Howard Isomorphism (2006)
Elsevier Science & Technology Books · inglés · ISBN 9780080478920

Lectures on the Curry-Howard isomorphism — Morten Heine Sørensen | Cutter Number