On the relation between a type theoretic and a logical formulation of the theory of constructions


Jan Smith
Bok Engelsk 1978

Detaljer

Bibliotek som har denne