Now showing items 1-1 of 1

    • forall x, version 1.29 

      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 ...