Written by volunteers and editors at
Wikibooks,
A Wikimedia Foundation Project
| 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
This article is issued from Wikibooks. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.