Справочная книга по математической логике: Ч. 4. Теория доказательств и конструктивная математика

Bibliographic Details
Format: Book
Language:Russian
Published: М Наука 1983
Subjects:

MARC

LEADER 00000nam a2200000Ia 4500
003 MN-UlNLM
005 20210508011612.0
008 200508t1983||||rur|||||||||||||| ||rus||
016 3 9
040 |a Монгол Улсын Үндэсний номын сан 
084 |a 22.12  |b С 74  |2 NNA  |q 2 
245 0 |a Справочная книга по математической логике: Ч. 4. Теория доказательств и конструктивная математика  |c Пер. Г.В.Давыдова, Г. Е.Минца Под. Ред. Дж.Барвайса 
260 1 |c 1983  |a М  |b Наука 
300 |a 392c 
490 |v Ч.IV 
546 |a Russia 
653 |a Байгалийн шинжлэл   |a Математик 
942 |c BK 
952 |0 0  |1 0  |2 NNA  |4 0  |6 17967  |7 0  |8 Ч.IV  |9 309348  |a URNU  |b URNU  |c 2  |d 2021-07-27  |e Khudaldaa  |g 10.50  |l 0  |o 17967  |p 005020017967  |r 2021-07-27  |w 2020-05-08  |y BK 
999 |c 138976  |d 139033