3 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
Algebra, CafeOBJ, Computer science, Logic, Logic, symbolic and mathematical, Mathematical Logic and Formal Languages, Mathematical Logic and Foundations, Mathematics, Model theory, Object-oriented methods (computer science), Réécriture, Spécification algébrique, Symbolic and mathematical Logic, Théorie démonstrationID Numbers
- OLID: OL3266929A
Links (outside Open Library)
No links yet. Add one?
April 30, 2008 | Created by an anonymous user | initial import |