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