Математическая теория логического вывода : сборник переводов / Под ред. А. В. Идельсона, Г. Е. Минца

Secondary Author: Идельсон, А. В.;Минц, Г. Е.Language: русский.Country: Россия.Publication: Москва : Наука, 1967Description: 351 с.Series: Математическая логика и основания математикиBibliography: Библиогр. в конце статей.Subject: математика | математическая теория | математическая логика | логические выводы | числа | семантические таблицы | предикаты
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Cover image Item type Current library Home library Collection Shelving location Call number Materials specified Vol info URL Copy number Status Notes Date due Barcode Item holds Item hold queue priority Course reserves
Books НТБ ТПУ Научный фонд М-39673 Available
Total holds: 0

Библиогр. в конце статей

There are no comments on this title.

to post a comment.