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
Lambda-Calculus, Types and Models

Tapa de Lambda-Calculus, Types and Models

Número de Cutter-SanbornK92lEntrada «Kre» → 92 · marca de obra “l”

Lambda-Calculus, Types and Models

de J. L. Krivine

Ediciones (1)

Lambda-Calculus, Types and Models (1993)
Ellis Horwood Ltd · inglés · ISBN 9780130624079

Más obras de J. L. Krivine

EElements of Mathematical Logic

Elements of Mathematical Logic

SSous-espaces et cônes convexes dans les espaces Lp

Sous-espaces et cônes convexes dans les espaces Lp

Tapa de Introduction to axiomatic set theory

Introduction to axiomatic set theory

Lambda-Calculus, Types and Models — J. L. Krivine | Cutter Number

TThéorie axiomatique des ensembles ..

Théorie axiomatique des ensembles ..

Ver todas las obras de J. L. Krivine →