A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity (Oxford Texts in Logic)
标签: 科学工程
<< Buy This Book on Amazon >>
收藏推荐:
图书介绍
A First Course in Logic: An Introduction to Model Theory,
Proof Theory, Computability, and Complexity (Oxford Texts in Logic)
Oxford University Press, USA | ISBN: 0198529805 | 452 pages | August 24, 2004 | PDF | 2 Mb
The ability to reason and think in a logical manner forms the basis of learning for most mathematics, computer science, philosophy and logic students. Based on the author's teaching notes at the University of Maryland and aimed at a broad audience, this text covers the fundamental topics in
classical logic in an extremely clear, thorough and accurate style that is accessible to all the above. Covering propositional logic, first-order logic, and second-order logic, as well as proof theory, computability theory, and model theory, the text also contains numerous carefully graded
exercises and is ideal for a first or refresher course.
Скачать | Download - (2 Mb)
IceFile.com | depositfiles.com
more 4300+ ebooks...
No Posting Of Mirror
IceFile.com | depositfiles.com
more 4300+ ebooks...
No Posting Of Mirror
http://rapidshare.com/files/66887858/0198529805.rar
Copyright Disclaimer:
本站一切内容源于互联网搜索,禁止商用!请查看 本页来源页面 的版权声明。 如有任何不妥请联系:ebookee[at]gmail.com,我们将在24小时内删除相关内容。
浏览量:236 添加时间:2007-12-11 04:35:03, 更新时间:2007-12-11 04:35:03, from internet
下载链接
<< Buy This Book on Amazon >>
没有下载链接
请在图书介绍里查找下载链接,如果没有,可以试着搜索有无其它该书信息。不能下载?
如果不能下载或者在“图书介绍”中找不到 "A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity (Oxford Texts in Logic)" 的下载链接请留言。下次访问本站时察看 所有留言 看是否有人已经更新了该书。
该书可能有其它下载链接,请点 这里 查询相关图书。
相关链接
"A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity (Oxford Texts in Logic)" 相关链接:
- A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity (Oxford Texts in Logic)
- A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity (Oxford Texts in Logic)
- A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity
- Computability, Complexity, Logic (Studies in Logic and the Foundations of Mathematics)
- An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof
- Computability, Complexity, Logic
- Model Theory (Studies in Logic and the Foundations of Mathematics)
- Category Theory (Oxford Logic Guides)
- Category Theory (Oxford Logic Guides)
- Category Theory (Oxford Logic Guides)
搜索该书!...
搜索 "A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity (Oxford Texts in Logic)"...
Comments
"A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity (Oxford Texts in Logic)" 没有评论.
Leave a Comment
如果没有下载链接或者下载链接无效,请查看相关链接或者搜索相关资料。


推荐到 StumbleUpon!
del.icio.us
Google书签