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
Combinators, λ-Terms and Proof Theory

Tapa de Combinators, λ-Terms and Proof Theory

Número de Cutter-SanbornS825cEntrada «Sten» → 825 · marca de obra “c”

Combinators, λ-Terms and Proof Theory

Ediciones (1)

Combinators, λ-Terms and Proof Theory (2011)
Springer · ISBN 9789401029155

Más obras de S. Stenlund

CCombinators, λ-Terms and Proof Theory

Combinators, λ-Terms and Proof Theory

CCombinators, ?-Terms and Proof Theory

Combinators, ?-Terms and Proof Theory

Ver todas las obras de S. Stenlund →

Combinators, λ-Terms and Proof Theory — S. Stenlund | Cutter Number