411 REFERENCE · Wikibooks
Formal Logic
Reference material by Wikibooks contributors. This retains its source identity and is not 411 news reporting.
{{DISPLAYTITLE: }}
Formal Logic
Written by volunteers and editors at
Wikibooks,
A Wikimedia Foundation Project
right image Formal Logic
An undergraduate college level textbook covering first order predicate logic with identity but omitting metalogical proofs.
Detailed Contents
Brief Contents
Preliminaries
Sentential Logic
Predicate Logic
Identity Theory
F
Mathematical logic University level mathematics books
75%