APA Style
Ben-Ari, M.
(2012).
Mathematical Logic for Computer Science
.
:
Springer.
MLA Style
Ben-Ari, Mordechai.
"Mathematical Logic for Computer Science".
:
Springer,
2012.
Text.