TY  - BOOK
AU  - Jörg H. Siekmann
TI  - Computational Logic
SN  - 9780444516244
PY  - 2014///
PB  - North-Holland
KW  - Mathematics 2014
UR  - https://www.sciencedirect.com/science/handbooks/18745857/9
ER  -