|
Книга ID: 3010960
Исчисления высказываний классической логики : учебно-методическое пособие С. И. Гуров
Тематика, ключевые слова:
Физико-математические науки -- Математика -- Основания математики. Математическая логика -- Логические исчисления. Исчисление высказываний, исчисление предикатов -- Учебно-методическое пособие для высшей школы.
Сведения об издании:
Москва МАКС Пресс 2007 130 с. 20 см
Язык:
rus
|
|