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