Table of Contents

Preface; 1. Basic logic; 2. The second incompleteness theorem; Bibliography; List of symbols; Index.

Promotional Information

This two-volume set bridges the gap between introductory texts and the research literature.

Reviews

Review of the hardback: ' … stands among the dozen or so books that will remain within easy reach from my desk … a highly worthwhile addition to the literature.' The Review of Modern Logic