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
Semantics and Logics of Computation

SSemantics and Logics of Computation

Número de Cutter-SanbornP692sEntrada «Pitts» → 692 · marca de obra “s”

Semantics and Logics of Computation

de Andrew M. Pitts, P. Dybjer

Ediciones (2)

Semantics and Logics of Computation (2011)
Cambridge University Press · inglés · ISBN 9780511835889
Semantics and Logics of Computation (2009)
Cambridge University Press · inglés · ISBN 9780511526619

Más obras de Andrew M. Pitts

Tapa de Nominal Sets Names And Symmetry In Computer Science

Nominal Sets Names And Symmetry In Computer Science

Tapa de Higher Order Operational Techniques in Semantics

Semantics and Logics of Computation — Andrew M. Pitts, P. Dybjer | Cutter Number

Higher Order Operational Techniques in Semantics

Nominal Sets

Ver todas las obras de Andrew M. Pitts →