TY  - BOOK
AU  - Bittinger,Marvin L.
TI  - Logic and proof
SN  - 0201005972
U1  - 511.3 
PY  - 1972///, c1970
CY  - Reading, Mass.
PB  - Addison-Wesley
KW  - Logic, Symbolic and mathematical
KW  - Programmed instruction
KW  - Local
N1  - Bibliography: p. 125
ER  -