Refine Your Search
Book List
1
-
Logical frameworks for truth and abstraction [electronic resource] : an axiomatic study / Andrea Cantini.
- 511.3
- Cantini, Andrea.
- Elsevier Science B.V.,
- 1996.
- Amsterdam ; New York :