|
Книга ID: 606256
Основы формальных систем : Учеб. пособие И. Ю. Каширин, Л. В. Маликова, В. В. Маркова; Под ред. И. Ю. Каширина; М-во образования Рос. Федерации. Науч.-информ. центр проблем интеллектуал. собственности
Тематика, ключевые слова:
Основания математики -- Математическая логика -- Учебник для высшей школы.
Сведения об издании:
М. НИЦПрИС 1999 84 с. 21 см
Язык:
rus
|
|