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