 | APDF version is available. (info) |
 | Aprintable version of Formal Logic is available. (edit it) |
Written by volunteers and editors at
Wikibooks,AWikimedia Foundation Project
 | Formal Logic is afeatured book on Wikibooks because it contains substantial content, it is well-formatted, and the Wikibooks communityhas decided to feature it on themain page or in other places. Please continue to improve it and thanks for the great work so far! You can edit itsadvertisement template. |
|
| An undergraduate college level textbook covering first order predicate logic with identity but omitting metalogical proofs. |
| Recent Content Additions edit | |
|---|---|
| Preliminaries | |
| No recent additions. | |
| Sentential Logic | |
| No recent additions. | |
| Predicate Logic | |
| 19 Apr 2006: New module: Satisfaction | |
| 19 May 2006: New module: Truth | |
