APA Style
Mathematical Logic for Computer Science
.
(2003).
Berlin:
Springer.
MLA Style
Mathematical Logic for Computer Science
.
.
Berlin:
Springer,
2003.
Text.