Справочная книга по математической логике В четырех частях : Теория Доказательств и конструктивная математика ; Часть IV / Под редакцией Дж. Барвайса, В. П. Оревкова ; Перевод с английского Г. В. Давыдова, Г. Е. Минца.
Material type:
TextLanguage: Russian Publication details: Москва : „Наука”, 1983.Description: 388 стр. ; 22 смSubject(s): Summary: От редактора русского перевода / В. П. Оревков ; Введение / А. С. Трулстра.
| Item type | Current library | Call number | Copy number | Status | Notes | Date due | Barcode | |
|---|---|---|---|---|---|---|---|---|
საცნობარო
|
წიგნსაცავის განყოფილება | 512.8 / С. 74 (Browse shelf(Opens below)) | 9359 | Not for loan | Часть 4 | 2017-44466 |
Библиография : Предметный указатель.
От редактора русского перевода / В. П. Оревков ; Введение / А. С. Трулстра.
There are no comments on this title.
Log in to your account to post a comment.