
Introduction to Mathematical Logic
Vilnis Detlovs , Karlis Podnieks
Introduction to Mathematical Logic
Vilnis Detlovs , Karlis Podnieks
Book Details:
pos
Global
pos
Category
Year: | 2014 |
Publisher: | Autoedición |
Pages: | 240 pages |
Language: | english |
Since: | 25/09/2015 |
Size: | 999 KB |
License: | Pending review |
Content:
In a sense, logic represents the most general means of reasoning used by people and computers.
Table of Contents:
- Introduction. What Is Logic, Really?
- Propositional Logic
- Predicate Logic
- Completeness Theorems (Model Theory)
- Normal Forms. Resolution Method
- Miscellaneous
Categories:
Tags:
Loading comments...
Scanning lists...
Loading...