Refine Your Search
Book List
1
-
Mathematical logic and computation / Jeremy Avigad, Carnegie Mellon University.
- 511.3 A957
- Avigad, Jeremy,
- Cambridge University Press,
- Cambridge, United Kingdom ; New York, NY :