A Concise Introduction to Mathematical Logic
Overview & Synopsis
The textbook by Professor Wolfgang Rautenberg is a well-written introduction to the beautiful and coherent subject of mathematical logic. It contains classical material such as logical calculi, beginnings of model theory, and Goedel's incompleteness theorems, as well as some topics motivated by applications, such as a chapter on logic programming.
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 | A Concise Introduction to Mathematical Logic |
|---|---|
| Author / Organization | Wolfgang Rautenberg |
| Subject & Discipline | Mathematical Logic - Set Theory, Model Theory, Computability, etc, Artificial Intelligence, Machine Learning, and Logic Programming, Discrete Mathematics, LISP Programming Language |
| Categories | Mathematical Logic - Set Theory, Model Theory, Computability, etc |
| ISBN | 1441912207 |
| 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-73334 |
| Original Source Link | Visit Source Page on freecomputerbooks.com » |
Commercial / Print Edition
Prefer a Physical Book or Kindle Edition?
A Concise Introduction to Mathematical Logic • Print Edition
As an Amazon Associate, MainReads earns from qualifying purchases.