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