1996
Instuitionistic Logic and Topos Theory
Publication
Publication
Additional Metadata | |
---|---|
Stichting Mathematisch Centrum | |
G.Y. Nieuwland | |
Moerdijk, I. (1996). Instuitionistic Logic and Topos Theory. In G. Y. Nieuwland (Ed.), . Stichting Mathematisch Centrum. |