TY  - BOOK
AU  - 
AU  - 
AU  - 
SN  - 510.1/FRE/T
U1  - : 
CY  - 22480
KW  - BK
N1  - BK; Logic, Symbolic and mathematical
ER  -