Formal methods : an introduction to symbolic logic and to the study of effective operations in arithmetic and logic
Author(s)
Bibliographic Information
Formal methods : an introduction to symbolic logic and to the study of effective operations in arithmetic and logic
(Synthese library)
D. Reidel Publishing Co., 1962
Available at / 42 libraries
-
Hokkaido University, Library, Graduate School of Science, Faculty of Science and School of Science図書
DC16:108/SY782021015870
-
No Libraries matched.
- Remove all filters.
Search this Book/Journal
Note
Includes bibliography