TY  - BOOK
AU  - Edwards R E
TI  - Formal background to mathematics
U1  - B217, M0.2 
PY  - 1980///
CY  - New York    
PB  -  Springer-Verlag        
KW  -  Mathematics
KW  - Combinatorial method
ER  -