At least part of this work or collection is under a free, libre and open license.

Forall X

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.

https://unglue.it/work/129358/

Work

Licensing Creative Commons Attribution-ShareAlike (entirety) All versions

Connections

Genre Textbook

Grouping Information

Funding gratis