Vol. 135. Artemov, S. N... [et al.] 
Six papers in logic 
QA9.2 S59