01027nam0a2200277 4500 RU\NLR\b_ik\132707 20250616225639.0 (NLR Aleph) 002206047 3105054 3105054 20050803d2004 |||y0rusy50 ca eng RU a ||||||||| Mathematical logic and Prolog A.A. Nabebin ed.: M.F. Cherepova Moscow power engineering inst. (techn. univ.) Moscow MPEI 2004 187 с. ил. 21 В вып. дан.: Математическая логика и Пролог / Алексей Александрович Набебин Библиогр.: с. 183 Математическая логика и Пролог Математическая логика 925057 RU\NLR\AUTH\6620994 В12 Nabebin A. A. Aleksej Aleksandrovič 070 RU NLR 20050803 PSBO BOOK NB 2005-08-03 ad NLR01 NLR01 IF 1042222 Ик 2005-3/1022 0 BOOK _200531022 ;