![](/img/cover-not-exists.png)
[Lecture Notes in Mathematics] Logic Year 1979–80 Volume 859 || The topos of types
Lerman, Manuel, Schmerl, James H., Soare, Robert I.Volume:
10.1007/BF
Year:
1981
Language:
english
DOI:
10.1007/BFb0090947
File:
PDF, 1.94 MB
english, 1981