Semantics of Type Theory: Correctness, Completeness and Independence Results - Rilegato

Streicher, Thomas

 
9783764335946: Semantics of Type Theory: Correctness, Completeness and Independence Results

Altre edizioni note dello stesso titolo