Semantics of Type Theory: Correctness, Completeness and Independence Results Progress in Theoretical Computer Science Autor T. Streicher 29 oct 2012 Paperback Preț: 568.20 lei 668.46 lei 6-8 săpt. -15%
