Refine Your Search
Book List
1
-
Many-sorted logic and its applications / edited by K. Meinke and J.V. Tucker.
- 005.131 M295
- Wiley,
- c1993.
- Chichester ; New York :