Reductive logic and proof-search : proof theory, semantics, and control
Author(s)
Bibliographic Information
Reductive logic and proof-search : proof theory, semantics, and control
(Oxford logic guides, 45)
Clarendon Press , Oxford University Press, 2004
- : hbk
Available at / 13 libraries
-
Library, Research Institute for Mathematical Sciences, Kyoto University数研
: hbkPYM||1||278891764
-
No Libraries matched.
- Remove all filters.
Note
Includes bibliographical references (p. [197]-204) and index