Forall X: An Introduction To Formal Logic
'This text describes two formal languages which have been of special importance to philosophers: truth-functional sentential logic and quantified predicate logic. The book covers translation, formal semantics, and proof theory for both languages.'
Website: https://unglue.it/work/129358/
Details
Sources and related works
page revision: 1, last edited: 15 May 2014 07:14