Non-standard logic and its applications (several lectures in Oxford)
Zinoviev, Aleksandr,1922-2006.
Oxford Willem A. Meeuws
1983
Logic, Symbolic and mathematical.