Судоплатов С., Овчинникова Е., Математическая логика и теория алгоритмов.
Учебник. Серия: Высшее образование.

2004, изд-во: Изд-во НГТУ, город: Новосибирск, стр. : 224 с., обложка: Картонный издательский переплет, формат: Обычный, состояние: Отличное. В книге излагаются классические исчисления математической логики: исчисления высказываний и исчисления предикатов, основы теории моделей, теории алгоритмов, а также неклассических логик.