Formal methods an introduction to symbolic logic and to the study of effective operations in arithmatic and logic
Formal methods an introduction to symbolic logic and to the study of effective operations in arithmatic and logic
- Dordrecht D Reidel 1962
- xiv,170p. cm.
- Synthese Library .
65,085
Textual
PHILOSOPHY
R14, K2,K2;1-;2-;3 (PD) (TTR)
65,085
Textual
PHILOSOPHY
R14, K2,K2;1-;2-;3 (PD) (TTR)