Topoi : the categorial analysis of logic Rev. ed - Goldblatt, Robert. (Dover Publications, 2006)