Logic for Mathematicians

Description

Intended for logicians and mathematicians, this text is based on Dr. Hamilton's lectures to third and fourth year undergraduates in mathematics at the University of Stirling. With a prerequisite of first year mathematics, the author introduces students and professional mathematicians to the techniques and principal results of mathematical logic. In presenting the subject matter without bias towards particular aspects, applications or developments, it is placed in the context of mathematics. To emphasize the level, the text progresses from informal discussion to the precise description and use of formal mathmematical and logical systems. The revision of this very successful textbook includes new sections on skolemization and the application of well-formed formulae to logic programming; numerous corrections have been made and extra exercises added.

Disclaimer:
Contents of this page are indexed from the Internet. All actions are under your responsability. Email us to report illegal contents or external links and we'll remove them immediately.

Please check the description for download links if any or do a search to find alternative books.

Can't Download?
Please search mirrors if you can't find download links for "Logic for Mathematicians" in "Description" and someone else may update the links. Check the comments when back to find any updates.

Search Mirrors
Maybe some mirror pages will be helpful, search this book at top of this page or click here to find more info.

1. Ebooks list page : 2669
2. A Course in Mathematical Logic for Mathematicians
3. Engines of Logic: Mathematicians and the Origin of the Computer
4. Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 5: Logic Programming
5. Elements of Mathematical Logic: Model Theory (Studies in Logic and the Foundations of Mathematics)
6. Computational Logic: Logic Programming and Beyond: Essays in Honour of Robert A. Kowalski, Part I
7. Handbook of Philosophical Logic: Volume 1: Elements of Classical Logic (Synthese Library)
8. Computability, Complexity, Logic (Studies in Logic and the Foundations of Mathematics) (ReUp)
9. Logic and the Modalities in the Twentieth Century, Volume 7 (Handbook of the History of Logic)
10. A Modern Formal Logic Primer: Predicate Logic and Metatheory, Volume II
11. Interpolation and Definability: Modal and Intuitionistic Logic (Oxford Logic Guides)
12. Topoi, the Categorial Analysis of Logic (Studies in Logic and the Foundations of Mathematics): Robert Goldblatt
13. Logic, Thought and Action (Logic, Epistemology, and the Unity of Science)
14. Logic, Thought and Action (Logic, Epistemology, and the Unity of Science)
15. Rigid Flexibility: The Logic of Intelligence (Applied Logic Series)
16. Lectures in Logic and Set Theory. Volume I: Mathematical Logic (Reupload)