Dowek G. Proofs and Algorithms : An Introduction to Logic and Computability / by Gilles Dowek., 2011 r=on-line. - Текст : электронный.
Dowek G. Principles of programming languages / G. Dowek, 2009 r=on-line. - Текст : электронный.