Search results

Science Publications, Oxford, UK: Clarendon Press, pp. xii, 347, ISBN 0-198-53807-3 Mac Lane, Saunders; Moerdijk, leke (1992), Sheaves in Geometry and Logic:...