5 works Add another?
Sorted by: Most Editions | First Published | Most Recent | Top Rated | Reading Log | Random
Showing all works by author. Would you like to see only ebooks?
Subjects
Electronic data processing, Logic, symbolic and mathematical, Programming languages (electronic computers), Calcul propositionnel, Categories (mathematics), Catégorie, Computer programming, Construction langage, Génie logiciel, Langage programmation, Logique mathématique, Programming languages (Electronic computers), Semantics, Symbolic and mathematical Logic, Théorie catégorie, Théorie typeID Numbers
- OLID: OL7298559A
Links (outside Open Library)
No links yet. Add one?
October 14, 2016 | Created by Mek | Added new book. |