Michael P. Fourman (1977): The logic of topoi


Title: The logic of topoi
Author(s): Michael P. Fourman
Year: 1977
Booktitle: Handbook of Mathematical Logic
Editor(s): Jon Barwise
Chapter: D.6
Pages: 1053-1090
Publisher: North--Holland
Address: Amsterdam

Concepts