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

ISBN
9781402007637
$139.99
Author Andrews, Peter B.
Format Trade Cloth
Details
  • Active Record
  • Individual Title
  • Books
  • 1 vol.
  • Revised
  • 2002
  • xviii, 390
  • Yes
  • 27
  • Print
  • QA1-939