Material Detail

Formal Logic

Formal Logic

This is an 'undergraduate college level textbook covering first order predicate logic with identity but omitting metalogical proofs.'

Brief Contents

  • Preliminaries
  • Sentential Logic
  • Predicate Logic
  • Identity Theory


More about this material


Log in to participate in the discussions or sign up if you are not already a MERLOT member.