Proof, Logic and Formalization

by

  • Publisher: Routledge
  • Print ISBN: 9780415023351, 0415023351

  • eText ISBN: 9781134975273, 1134975279

  • Pages: 256
  • Copyright year: 1992