Introduction to Mathematical Logic
Overview & Synopsis
This book explores the principal topics of mathematical logic. It covers propositional logic, first-order logic, first-order number theory, axiomatic set theory, and the theory of computability. The text also discusses the major results of Gödel, Church, Kleene, Rosser, and Turing.
Indexed from repository: FreeComputerBooks.com
(
freecomputerbooks.com)
Keyboard Shortcuts:
← / → for pages • + / - for zoom • 0 to fit width
Powered by Mozilla PDF.js v3.11
Document Information
| Document Title | Introduction to Mathematical Logic |
|---|---|
| Author / Organization | Vilnis Detlovs, Karlis Podnieks |
| Subject & Discipline | Mathematical Logic - Set Theory, Model Theory, Computability, etc, Theory of Computation and Computing, Artificial Intelligence, Machine Learning, and Logic Programming, Discrete Mathematics |
| Categories | Mathematical Logic - Set Theory, Model Theory, Computability, etc |
| Publication Year | 2021 |
| License / Rights | CC BY-NC-SA 1.0 |
| Resource Verification | Verification pending |
| Alternative Mirrors & Links | |
| Original Host Website |
FreeComputerBooks.com
(freecomputerbooks.com)
|
| File Format | application/pdf (Portable Document Format) |
| Language | ENGLISH |
| Catalog ID | DOC-71819 |
| Original Source Link | Visit Source Page on freecomputerbooks.com » |