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
Proof Theory and Logic Programming

PProof Theory and Logic Programming

Número de Cutter-SanbornM647pEntrada «Miller» → 647 · marca de obra “p”

Proof Theory and Logic Programming

Ediciones (1)

Proof Theory and Logic Programming (2025)
Cambridge University Press · inglés · ISBN 9781009561297

Más obras de Dale Miller

Tapa de Programming with higher-order logic

Programming with higher-order logic

Tapa de Certified Programs and Proofs

Certified Programs and Proofs

IIssues and Iowans in the continuing American Revolution

Issues and Iowans in the continuing American Revolution

Proof Theory and Logic Programming — Dale Miller | Cutter Number

C

Cultural Divides

Cultural Divides

RRetailing for the 21st Century

Retailing for the 21st Century

Tapa de Cultural Divides

Cultural Divides

Ver todas las obras de Dale Miller →