کتابخانه

A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity | Author(s): Shawn Hedman | Publisher: Oxford University Press, USA | Year: 2004 | Language: English | Pages: 452 | Size: 2 MB | Extension: pdf