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
Categorical logic and type theory

Tapa de Categorical logic and type theory

Número de Cutter-SanbornJ17cEntrada «Jacobs» → 17 · marca de obra “c”

Categorical logic and type theory

de Bart Jacobs · Publicada por primera vez en 1999

Materias

Type theory
Categories (Mathematics)

Ediciones (1)

Categorical logic and type theory (1999)
Elsevier Science · inglés

Más obras de Bart Jacobs

Tapa de The Grand Spring Hunt

The Grand Spring Hunt

2002

Tapa de Formal Methods for Open Object-Based Distributed Systems V

Formal Methods for Open Object-Based Distributed Systems V

Tapa de Foundations of Software Science and Computation Structures

Foundations of Software Science and Computation Structures

Categorical logic and type theory — Bart Jacobs | Cutter Number

I

Introduction to Coalgebra

Introduction to Coalgebra

OOrigins of a Creole

Origins of a Creole

Tapa de Uiterst vertrouwelijk

Uiterst vertrouwelijk

Ver todas las obras de Bart Jacobs →