Hedman, S. - First Course in Logic. An Introduction to Model Theory, Proof Theory, Computability, plexity (2006) Oxford University Press.pdf
Hedman, S. - First Course in Logic. An Introduction to Model Theory, Proof Theory, Computability, plexity (2006) Oxford University Press 来自淘豆网www.taodocs.com转载请标明出处.