Halmos, Paul R.
Naive set theory
Paul R. Halmos
- New Delhi Affiliated East-West Press 1972
- vi,104p.; 23cm.-
- The University series in undergraduate mathematics .
9788184892062
Logic, Symbolic and mathematical
Proof theory
Automatic theorem proving
Machine theory
511.3 / HAL