00657nam a22002173 44500 41116 20130926 km|u0frey50 rus eng RU ||||||||||||| Теория доказательств Гаиси Такеути пер. с англ.: С.К. Соболев; ред.: С.И. Адян Moskva Mir 1978 414 s. Teoriâ dokazatel΄stv Logică matematică 12901 510.6=161.1 Takeuti Gaisi 130472 730 130473 Sobolev S. K. 220 130474 Adân S.I. 41116 BK 0 0 2013-09-26 110199 SC SC DEP2 SC00043409 4.20 PS SC108660 510 T13 0 BK 4.20 2013-09-26