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

Streicher, Thomas

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

Inhaltsangabe

1991 XII, 298 p. Hardcover Boston; Basel; Berlin : Birkhäuser,

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Weitere beliebte Ausgaben desselben Titels