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