Formal Logic
Written by volunteers and editors at
Wikibooks,
A Wikimedia Foundation Project
 |
Formal Logic is a featured book on Wikibooks because it contains substantial content, it is well-formatted, and the Wikibooks community has decided to feature it on the main page or in other places. Please continue to improve it and thanks for the great work so far! You can edit its advertisement template. Category:Featured books#Formal%20Logic |
| An undergraduate college level textbook covering first order predicate logic with identity but omitting metalogical proofs. |
| Recent Content Additions | |
|---|---|
| Preliminaries | |
| No recent additions. | |
| Sentential Logic | |
| No recent additions. | |
| Predicate Logic | |
| 19 Apr 2006: New module: Satisfaction | |
| 19 May 2006: New module: Truth | |
Brief Contents
- Preliminaries
- Sentential Logic
- Predicate Logic
- Identity Theory
Category:Alphabetical/F
Category:Book:Formal Logic
Category:Book:Wikibooks Stacks/Books
Category:Books by completion status/all books
Category:Books nearing completion
Category:Books with PDF version
Category:Books with print version
Category:Department:Computing/all books
Category:Department:Mathematics/all books
Category:Featured books
Category:Shelf:Computer science/all books
Category:Shelf:Mathematical logic
Category:Shelf:Mathematical logic/all books
Category:Shelf:Pure mathematics/all books
Category:Shelf:University level mathematics books
Category:Shelf:University level mathematics books/all books
Category:Subject:Books by subject/all books
Category:Subject:Computer science/all books
Category:Subject:Computing/all books
Category:Subject:Mathematical logic
Category:Subject:Mathematical logic/all books
Category:Subject:Mathematics/all books
Category:Subject:Pure mathematics/all books
Category:Subject:University level mathematics books
Category:Subject:University level mathematics books/all books