Model theory topoi - Wraith, Gavin C. 1939 - (1964)