Westerstahl D. Foundations of Logic: Completeness, Incompleteness, Computability

CSLI Publications, 2024. — 473 p.Foreword
Preface
Introduction
Background
First-order Logic
Inference
Completeness
Completeness: PL
Completeness: FOL
Model Theory
Incompleteness
Overview of incompleteness and undecidability
Primitive recursive functions and relations
Peano Arithmetic
Representability of primitive recursive functions
Arithmetization
Incompleteness
Computability
Decidability
Undecidability
Computability theory
Sets, functions, relations
Bibliography
Index