Разрешимость исчисления предикатов 1-й ступени = Solvability of the first stage predicates calculation / Стрыгин Владимир Захарович
Параллельное заглавие: : z20790Solvability of the first stage predicates calculation, английскийЯзык: русский.Выходные данные: М. : Издат. отд. ЦАГИ, 2005Физическая характеристика: 3 с. ; 20 см.Серия: Препринт ; № 145Примечания: Авт. также на англ. яз.: Vladimir Z. Strygin.Библиография: Библиогр.: с. 3.Предметная рубрика - Тема: Исчисление предикатов Неконтролируемые предметные термины: Физико-математические науки -- Математика -- Основания математики. Математическая логика -- Логические исчисления. Исчисление высказываний, исчисление предикатовДругие классификации: ( ) В123,09 ; В123Коллекция: Национальная библиография Тип экземпляра: Книга| Тип экземпляра | Текущая библиотека | Шифр хранения | Кол-во копий | Статус | Срок возврата | Штрих-код | |
|---|---|---|---|---|---|---|---|
| Книга | РНБ (Московский) Русский книжный фонд: издания с 1957 года | 2006-4/3376 (Просмотр полки(Открывается ниже)) | 4050 | Доступно | 2125665 | ||
| Книга | РНБ (Московский) Русский книжный фонд: издания с 1957 года | 2006-4/3376 (Просмотр полки(Открывается ниже)) | 4050 | Доступно | 2125666 |
Авт. также на англ. яз.: Vladimir Z. Strygin
Библиогр.: с. 3