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