Logic : form and function : the mechanization of deductive reasoning
Author(s)
Bibliographic Information
Logic : form and function : the mechanization of deductive reasoning
University Press, c1979
Available at / 53 libraries
-
Hokkaido University, Library, Graduate School of Science, Faculty of Science and School of Science図書
dc19:510/r5632021059224
-
No Libraries matched.
- Remove all filters.
Note
Bibliography: p. [300]-302
Includes index