American Psychological Association 6th edition

Hanbdook of logic in computer science. [ca. 2020]. In S. Abramsky, D. M. Gabbay, & T. S. E. Maibaum (Hrsg.), Oxford scholarship online [Cd]. Oxford: Oxford University Press. https://doi.org/10.1093/oso/9780198537816.001.0001

ISO-690 (author-date, English)

ABRAMSKY, Samson, GABBAY, Dov M. und MAIBAUM, Thomas S. E. (Hrsg.). Oxford: Oxford University Press. ISBN 9780191916663.

Modern Language Association 9th edition

Abramsky, S., D. M. Gabbay, und T. S. E. Maibaum, Herausgeber. „Hanbdook of logic in computer science.“. Oxford scholarship online, cd, Oxford University Press, 2020, https://doi.org/10.1093/oso/9780198537816.001.0001.

Mohr Siebeck - Recht (Deutsch - Österreich)

: Hanbdook of logic in computer science., Oxford 2020.

Emerald - Harvard

Abramsky, S., Gabbay, D.M. und Maibaum, T.S.E. (Hrsg.). (2020), Hanbdook of logic in computer science., Oxford scholarship online, Bd. , Oxford University Press, Oxford, verfügbar unter:https://doi.org/10.1093/oso/9780198537816.001.0001.

Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.