×
  • An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof

    Peter B. Andrews (auth.)

Click on cover to enlarge.
8 - 9Hours to read