Westerstahl D. Foundations of Logic. Completeness,Incompl..., Computability 2024
Download this torrent!
Westerstahl D. Foundations of Logic. Completeness,Incompl..., Computability 2024
To start this P2P download, you have to install a BitTorrent client like qBittorrent
Category: Other
Total size: 2.99 MB
Added: 7 months ago (2025-03-10 23:39:01)
Share ratio: 6 seeders, 0 leechers
Info Hash: 27BDA4445BD187FB596FAF4229278A1996A2CFC2
Last updated: 7 hours ago (2025-11-08 12:23:58)
Description:
Textbook in PDF format
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