Semantics of Type Theory: Correctness, Completeness and Independence Results (Progress in Theoretical Computer Science) - Hardcover

Streicher, T.

 
9780817635947: Semantics of Type Theory: Correctness, Completeness and Independence Results (Progress in Theoretical Computer Science)

Weitere beliebte Ausgaben desselben Titels