Semantics and logics of computation
by Peter Dybjer
- ISBN
- 0521580579
Semantics and logics of computation est un electronic data processing, symbolic and mathematical logic book de Peter Dybjer.
Découvrez Semantics and logics of computation de Peter Dybjer, electronic data processing.
À propos de l'auteur
Peter Dybjer est l'auteur de Semantics and logics of computation. Parcourez son catalogue complet sur Booklogr.
Éditions et Formats
Critiques
Pas encore de critiques. Avez-vous lu ce livre ? Partagez vos impressions avec la communauté Booklogr.
Se connecter Connectez-vous pour écrire une critique
Questions Fréquentes
Quel est le genre de Semantics and logics of computation ?+
Semantics and logics of computation est un livre de Electronic data processing, Symbolic and mathematical Logic, Semantics, Programming languages.
Qui a écrit Semantics and logics of computation ?+
Semantics and logics of computation a été écrit par Peter Dybjer.