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

Streicher, Thomas

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

Autres éditions populaires du même titre