G bibliography of mathematical logic [Text] : ежегодник / Ed by G.H. Muller in collab with W. Lenski1 . - Berlin etc. : Springer-Verl., 1987. - XLI, 405 с. - (Perspectives in math. logic). - ISBN 3-540-15524-4 : Б. ц. ; Текст на англ. яз Перевод заглавия: 0 ^aБиблиография математической логики.Теория доказательств конструктивной математики    Перевод заглавия: 0 ^aБиблиография математической логики.Теория доказательств конструктивной математики ГРНТИ ^a27.03.19 УДК ^a016:510.6 Кл.слова (ненормированные): 0 ; математическая логика; теория доказательств; конструктивная математика; библиография Доп.точки доступа: Kister, J.E. \.\; Dalen, D. \.\; Troelstra, A.S. \.\; Muller, G.H. \.\; Lenski, W. \.\ Свободных экз. нет