Westerstahl D. Foundations of Logic. Completeness,Incompl..., Computability 2024

Download Download Torrent Opens in your torrent client (e.g. qBittorrent)
Category Other
Size2.99 MB
Added1 year ago (2025-03-10 23:39:01)
Health
Good4/0
Info Hash27BDA4445BD187FB596FAF4229278A1996A2CFC2
Peers Updated15 hours ago (2026-03-25 03:01:41)

Report Torrent

0 / 300

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

Similar Torrents

NameSizeSL
Van Melkebeek D. Randomness and Completeness in Computational Complexity 200016.41 MB40Kar R. Fuzzy Logic Concepts in Computer Science and Mathematics 202619.23 MB112An Enhanced Introduction to Foundational Logic4.10 GB40Fuzzy Logic Applications in Computer Science and Mathematics0.01 kB43Kapron B. Logic, Automata, and Computational Complexity 20230.01 kB21

Popular in Other

NameSizeSL
Udemy - NotebookLM Mastery Organize Analyze and Optimize with AI 20253.03 GB18710Peel D. Hacker's Manual 20ed 202682.36 MB1527New Scientist Magazine - March 21 202612.46 MB1340Edwards M. An Introduction to Quantum Computing for Computer Engineers 20264.68 MB1231Hao J. Operating System Basics and Practice. A Hands-on Approach...202630.37 MB1104

×