Rigorous introduction is simple enough in presentation and context for wide range of students. Symbolizing sentences; logical inference; truth and validity; truth tables; terms, predicates, universal quantifiers; universal specification and laws of identity; more.
Publisher: Dover Publications (April 02, 2012)
Collection: Dover Books on Mathematics
Format: EPUB
Page count: 288 pages
Protection: DRM
Language: English