Sign In | Not yet a member? | Submit your article
 
Home   Technical   Study   Novel   Nonfiction   Health   Tutorial   Entertainment   Business   Magazine   Arts & Design   Audiobooks & Video Training   Cultures & Languages   Family & Home   Law & Politics   Lyrics & Music   Software Related   eBook Torrents   Uncategorized  

Mathematical Logic: Undergraduate Texts in Mathematics (Springer Series in Language and Communication)
Mathematical Logic: Undergraduate Texts in Mathematics (Springer Series in Language and Communication)
Date: 14 June 2011, 13:00

Free Download Now     Free register and download UseNet downloader, then you can FREE Download from UseNet.

    Download without Limit " Mathematical Logic: Undergraduate Texts in Mathematics (Springer Series in Language and Communication) " from UseNet for FREE!
Product Description:
This introduction to first-order logic clearly works out the role of first-order logic in the foundations of mathematics, particularly the two basic questions of the range of the axiomatic method and of theorem-proving by machines. It covers several advanced topics not commonly treated in introductory texts, such as Fraisse's characterization of elementary equivalence, Lindstrom's theorem on the maximality of first-order logic, and the fundamentals of logic programming.
Related Articles:
Logic  

DISCLAIMER:

This site does not store Mathematical Logic: Undergraduate Texts in Mathematics (Springer Series in Language and Communication) on its server. We only index and link to Mathematical Logic: Undergraduate Texts in Mathematics (Springer Series in Language and Communication) provided by other sites. Please contact the content providers to delete Mathematical Logic: Undergraduate Texts in Mathematics (Springer Series in Language and Communication) if any and email us, we'll remove relevant links or contents immediately.



Comments

Comments (0) All

Verify: Verify

    Sign In   Not yet a member?


Popular searches