Title: Toposes and local set theories
First published: 1988
Subjects: Logic, Symbolic and mathematical, Set theory, Symbolic and mathematical Logic, Toposes, Logic, symbolic and mathematical
LC classification: QA169 .B45 1988, QA169