Справочная книга по математической логике. В 4-х частях. Ч. 4 : Под ред. Дж. Барвайса. Теория доказательств и конструктивная математика /
Contributor(s): Барвайс, Дж [რედაქტორი].
Material type:
TextМосква : Наука, 1982Description: 391 с.Subject(s): მათემატიკური ლოგიკა | კონსტრუქციული მათემატიკა | ცნობარი
| Item type | Current location | Call number | Copy number | Status | Date due | Barcode |
|---|---|---|---|---|---|---|
საცნობო
|
ეროვნული სამეცნიერო ბიბლიოთეკა 1 საცავი. 1 კორპ. | 510.6(035) (Browse shelf) | J-62396 | შესამოწმებელია Not for loan | 2016-26285 |
There are no comments for this item.