Goldblatt, Robert Topoi, the categorical analysis of logic - - Amsterdam North-Holland Publishing Company 1984 - xvi, 551 p. ISBN: ISSN: Subjects--Index Terms: Logic Probabilities Topology Set theory Mathematics Number theory Set theory Group theory Mathematical sciences Dewey Class. No.: 515.1