The Little Prover

by

  • Publisher: The MIT Press
  • Print ISBN: 9780262527958, 0262527952

  • eText ISBN: 9780262330572, 0262330571

  • Copyright year: 2015