Настоящая книга не может рассматриваться как введение в математическую логику в целом. Однако ознакомление с изложенным в ней материалом облегчит читателю, желающему серьезно изучить предмет, чтение литературы, рекомендованной в конце книги для этой цели. В книге имеются и упражнения для самостоятельной работы читателя.
