George Boole..An Investigation of the laws of thought : on which are founded the mathematical theories of logic and probabilities /.Cambridge University Press,,2009..
International Symposium on Logical Foundations of Computer Science.International Symposium on Logical Foundations of Computer Science(2nd : 1992 : Tver):Logiccal foundations of computer science.Springer,1992.