TY  - BOOK
AU  - Rosser,J.Barkley
TI  - Logic for mathematicians
SN  - 0828402949
U1  - 511.3 23
PY  - 1978///
CY  - New York
PB  - Chelsea Pub. Co.
KW  - Logic
KW  -  Symbolic and mathematical
N1  - Includes index; Bibliography: p. [561]-568
ER  -