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,083
Textual
PHILOSOPHY
R14, K2,K2;1-;2-;3 (PD) (TTR)
65,083
Textual
PHILOSOPHY
R14, K2,K2;1-;2-;3 (PD) (TTR)