1 - Formal methods : An introduction to symbolic logic and to the study of effective opeations in arithmetic and logic |
1 - Formal methods : An introduction to symbolic logic and to the study of effective opeations in arithmetic and logic |