Normal view
MARC view
Logic, Symbolic and mathematicales (Topical Term)
Machine generated authority record.
Work cat.: ()858825: coference on"connection between category theory and algebraic geometry &Institution logic 980793, Toposes, algebraic geometry and logic /, 1972
