Böcker av George (York University Tourlakis

With a focus on Unbound Register Machines (URMs), this book introduces new ideas and topics using real computer-related examples to help readers gain the skills and intuition that are key to successful programming.

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.

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.

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.