Paulson L.C. Isabelle : A generic theorem prover / L.C.Paulson;With contributions by T.Nipkow, 1994. - XVII,321 p. p. - Текст : непосредственный.