Proof and disproof in formal logic : an introduction for programmers
Author(s)
Bibliographic Information
Proof and disproof in formal logic : an introduction for programmers
（Oxford texts in logic, 2）
Oxford University Press, 2005
- : hbk
- : pbk
Available at / 16 libraries
-
Library, Research Institute for Mathematical Sciences, Kyoto University数研
: pbkBOR||15||278891802
-
No Libraries matched.
- Remove all filters.
Note
Includes index
