Normal view
MARC view
Enderton, Herbert B. (Personal Name)
His A mathematical introduction to logic, 1972.