01131cac a22002651u 4500 1269 081111t2004 xxu||||| |||| 00| 0 eng d 2004303637 0198529805 0198529813 (pbk.) (OCoLC)ocm56446102 160 H455 Hedman, Shawn. A first course in logic : an introduction to model theory, proof theory, computability, and complexity / Shawn Hedman. Oxford ; New York : Oxford University Press, 2004. xx, 431 p. : ill. ; 25 cm. Oxford texts in logic ; 1 Includes bibliographical references (p. [426]-427) and index. Logic. Logic, Symbolic and mathematical. Publisher description http://www.loc.gov/catdir/enhancements/fy0620/2004303637-d.html Table of contents only http://www.loc.gov/catdir/enhancements/fy0620/2004303637-t.html BB 160H455 ddc 1269 1269 0 0 ddc 0 0 MAIN MAIN LOW 2006-08-30 purchase 337.50 2 4 160 HED 000003206 2025-07-15 00:00:00 2024-10-20 421.88 BB