An Introduction To Mathematical Logic And Type Theory: To Truth Through Proof (computer Science And Applied Mathematics)

An Introduction To Mathematical Logic And Type Theory: To Truth Through Proof (computer Science And Applied Mathematics)
Read Online Download

  • Author(s): Peter B. Andrews
  • Genre: Mathematics
  • Language: English
  • Year: 1986
  • Ebook Format: DjVu
  • File Size: 5.6 MB
  • 1 Star2 Stars3 Stars4 Stars5 Stars
    Loading...