Semantics and logics of computation
by Peter Dybjer
- ISBN
- 0521580579
Semantics and logics of computation es un electronic data processing, symbolic and mathematical logic book de Peter Dybjer.
Descubre Semantics and logics of computation de Peter Dybjer, electronic data processing.
Sobre el Autor
Peter Dybjer es el autor de Semantics and logics of computation. Explora su catálogo completo en Booklogr.
Ediciones y Formatos
Reseñas
Sin reseñas aún. ¿Has leído este libro? Comparte tus opiniones con la comunidad de Booklogr.
Iniciar sesión Inicia sesión para escribir una reseña
Preguntas Frecuentes
¿De qué género es Semantics and logics of computation?+
Semantics and logics of computation es un libro de Electronic data processing, Symbolic and mathematical Logic, Semantics, Programming languages.
¿Quién escribió Semantics and logics of computation?+
Semantics and logics of computation fue escrito por Peter Dybjer.