Hedman, S. (2004). A first course in logic: An introduction to model theory, proof theory, computability and complexity. Oxford University Press.
Παραπομπή σε μορφή Chicago (17η εκδ.)Hedman, Shawn. A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability and Complexity. New York: Oxford University Press, 2004.
Παραπομπή σε μορφή MLA (8th εκδ.)Hedman, Shawn. A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability and Complexity. Oxford University Press, 2004.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.