Proceedings of the Royal logical society of London 

 -  1967