Böcker av George (York University Tourlakis

A comprehensive and user-friendly guide to the use of logic in mathematical reasoning Mathematical Logic presents a comprehensive introduction to formal methods of logic and their use as a reliable tool for deductive reasoning.

This work provides the reader with a solid foundation in set theory, while the inclusion of topics such as absoluteness, two expositions of Godel's constructible universe, numerous ways of viewing recursion, and a chapter on Cohen forcing, will usher the advanced reader to the doorstep of the research literature.

This work includes formal proof techniques, a section on applications of compactness, a generous dose of computability and its relation to the incompleteness phenomenon, and the first presentation of a complete proof of Godel's 2nd incompleteness since Hilbert and Bernay's Grundlagen theorem.