TY  - BOOK
AU  - Nievergelt, Y Ves 
TI  - Logic, Mathematics and computer science: Modern foundations with practical applications 
U1  - 004.0151 
PY  - 2015///
CY  - New York
PB  - Springer 
ER  -