TY  - DATA
AU  - Yves Nievergelt
TI  - Logic, Mathematics, and Computer Science
SN  - 9781493932238
PY  - 2015///
PB  - Springer New York
KW  - Mathematics and Statistics
UR  - https://doi.org/10.1007/978-1-4939-3223-8
ER  -