TY  - BOOK
AU  - Hackstaff,L.H.
TI  - Systems of formal logic
U1  - 164 
PY  - 1966///
CY  - Dordrecht
PB  - D. Reidel
KW  - Logic, Symbolic and mathematical
N1  - With Summary of rules and laws for major axiomatic systems in systems of formal logic: 4 p. inserted; Bibliography: p. 344-345 and index
ER  -