Gaya APA

Hedman, S. (2004). A first course in logic : an introduction to model theory, proof theory, computability, and complexity (design of analog CMOS integrated circuits . New York: Oxford University Press.

Gaya MLA

Hedman, Shawn. "A first course in logic : an introduction to model theory, proof theory, computability, and complexity (design of analog CMOS integrated circuits". New York: Oxford University Press, 2004. Text.