Tourist  (18.221.238.204)welcome

WX service Download Reader CN | EN
Home Details
nobuy
CLCO14
LanguageENG
PublishYear2022
publishCompany Cambridge University Press
EISBN 9781108968195
PISBN 9781108833141
edition 1st ed.
  • Product Details
  • Contents
This textbook gives a complete and modern introduction to mathematical logic. The author uses contemporary notation, conventions, and perspectives throughout, and emphasizes interactions with the rest of mathematics. In addition to covering the basic concepts of mathematical logic and the fundamental material on completeness, compactness, and incompleteness, it devotes significant space to thorough introductions to the pillars of the modern subject: model theory, set theory, and computability. Requiring only a modest background of undergraduate mathematics, the text can be readily adapted for a variety of one- or two-semester courses at the upper-undergraduate or beginning-graduate level. Numerous examples reinforce the key ideas and illustrate their applications, and a wealth of classroom-tested exercises serve to consolidate readers' understanding. Comprehensive and engaging, this book offers a fresh approach to this enduringly fascinating and important subject.

    1、Need to use the reader to download.Download

    2、If installed successfully, please refresh this page.

    open