A Functorial Model Theory Newer Applications To Algebraic Topology Descriptive Sets, and Computing Topos - Nourani, Cyrus F. (USA CRC Press Inc., 2014)