Semantics of Type Theory: Correctness, Completeness and Independence Results by Thomas Streicher (Paperback, 2012)

Brand new: lowest price

AU $165.00

Free postage
  • See details for delivery est.
  • Brand new condition
  • • Returns accepted