TY  - BOOK
AU  - 38
TI  - Logic with Symlog
SN  - 0133276287
U1  - 160.285.5369   POR 20
N1  - Includes bibliographical references (p. 547-549) and indexes
ER  -