Proofs and computations
Author(s)
Bibliographic Information
Proofs and computations
(Perspectives in logic)
Cambridge University Press, 2012
Available at / 13 libraries
-
No Libraries matched.
- Remove all filters.
Note
Includes bibliographical references and index