Toposes and local set theories: an introduction by Bell, J. L., (John Lane) fromOxford logic guides 0 Type: Book