Gaya APA
Voronkov, A., Weidenbach, C.
(2013).
Programming Logics
.
Springer Berlin Heidelberg:
Springer.
Gaya MLA
Voronkov, Andrei., Weidenbach, Christoph.
"Programming Logics".
Springer Berlin Heidelberg:
Springer,
2013.
E-Book.