Torrent details for "Westerstahl D. Foundations of Logic. Completeness,Incompl..., Computability 2024 [andryold1]" Log in to bookmark
Controls:
External index by SiteBot Verified
Category:
Language:
EnglishTotal Size:
2.99 MB
Info Hash:
27bda4445bd187fb596faf4229278a1996a2cfc2
Added By:
Added:
13-11-2024 10:25
Views:
157
Health:
Seeds:
25
Leechers:
3
Completed:
130
Textbook in PDF formatExternally indexed torrent If you are the original uploader, contact staff to have it moved to your account
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