Rautenberg W. A concise introduction to mathematical logic / W. Rautenberg, 2010 r=on-line. - Текст : электронный.
Rautenberg W. A concise introduction to mathematical logic / W. Rautenberg, 2006 r=on-line. - Текст : электронный.