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
Derivation and computation

Tapa de Derivation and computation

Número de Cutter-SanbornS592dEntrada «Simm» → 592 · marca de obra “d”

Derivation and computation

de Harold Simmons

Materias

Curry-Howard isomorphism
Lambda calculus
Proof theory
Type theory
Computer science

Ediciones (1)

Derivation and computation (2000)
Cambridge University Press · inglés

Más obras de Harold Simmons

Tapa de An introduction to category theory

An introduction to category theory

Proof Theory

IIntroduction to Category Theory

Introduction to Category Theory

Derivation and computation — Harold Simmons | Cutter Number

IInorganic Syntheses Volume 1

Inorganic Syntheses Volume 1

Ver todas las obras de Harold Simmons →