SUNY Digital Repository

Textbooks

DSpace/Manakin Repository

Textbooks

 

Recent Submissions

  • Magnus, P.D. (2012-01-06)
    In formal logic, sentences and arguments in English are translated into mathematical languages with well-defined properties. If all goes well, properties of the argument that were hard to discern become clearer. This book ...
  • Magnus, P.D. (2010-05-20)
    This is a textbook covering translation, formal semantics, and proof theory for both sentential logic and quantified logic. Each chapter contains practice exercises; solutions to selected exercises appear in an appendix.
  • Magnus, P.D. (2009-06-05)
    This is a textbook covering translation, formal semantics, and proof theory for both sentential logic and quantified logic. Each chapter contains practice exercises; solutions to selected exercises appear in an appendix.
  • Magnus, P.D. (2008-01-09)
    This is a textbook covering translation, formal semantics, and proof theory for both sentential logic and quantified logic. Each chapter contains practice exercises; solutions to selected exercises appear in an appendix.
  • Magnus, P.D. (2007-05-12)
    In formal logic, sentences and arguments in English are translated into mathematical languages with well-defined properties. If all goes well, properties of the argument that were hard to discern become clearer. This book ...

Search DSpace


Advanced Search

Browse

My Account