Toposes, algebraic geometry and logic
I. Bucur ... [et al.] ; edited by F.W. Lawvere
Bok Engelsk 1972 Conference on a Connections between Category Theory and Algebraic Geometry and Intuitionistic Logic
Utgitt | Berlin : Springer , 1972
|
---|---|
Omfang | 189 s.
|
Emner | |
ISBN | 0387059202. - 3540059202
|