Теория доказательств : Пер. с англ. /

Պահպանված է:
Մատենագիտական մանրամասներ
Հիմնական հեղինակ: Такеути, Г.
Այլ հեղինակներ: Соболев, С.К (Թարգմանիչ, пер.), Ադյան, Սերգեյ Իվանի, 1931- (Խմբագիր, ред.)
Ձևաչափ: Գիրք
Հրապարակվել է: Москва : Мир , 1978.
Խորագրեր:
Теория доказательств
Ցուցիչներ: Ավելացրեք ցուցիչ
Չկան պիտակներ, Եղեք առաջինը, ով նշում է այս գրառումը!
LEADER 00932nam-a2200229-a-4500
001 000188767
003 AM-YeHGA
005 20220704163738.0
008 981006s1978 xxu 000 0 rus u
040 |a AM-YeHGA  |c AM-YeHGA 
100 1 |a Такеути, Г. 
245 1 0 |a Теория доказательств :  |b Пер. с англ. /  |c Г. Такеути ; Пер. с англ. С.К. Соболева ; Под ред. С.И. Адяна. 
260 |a Москва :  |b Мир ,  |c 1978. 
300 |a 412 с. 
534 |p Оригинал на англ. :  |i Proof Theory /  |a Gaisi Takeuti -  |c London : North-Holland Publishing Company : 1975 
650 1 4 |a Теория доказательств 
700 1 |a Соболев, С.К.  |e пер.  |4 trl 
700 1 |a Ադյան, Սերգեյ Իվանի,  |d 1931-  |e ред.  |4 edt 
999 |c 385009 
952 |o PII/430771  |p FL0447188 
952 |o PII/430772  |p FL0447187 
952 |o PII/431552  |p FL0447852 

Նմանատիպ նյութեր