|
Вид документа : Многотомное издание Шифр издания :
Заглавие : G bibliography of mathematical logic
Выходные данные : Berlin etc.: Springer-Verl., 1987 Колич.характеристики :XLI, 405 с
Серия: Perspectives in math. logic
Примечания : ; Текст на англ. яз
ISBN, Цена 3-540-15524-4: Б.ц.
ГРНТИ : ; 27.03.19 УДК : Ключевые слова (''Своб.индексиров.''): 0 ; математическая логика; теория доказательств; конструктивная математика; библиография
Доп.точки доступа: Kister, J.E. \.\; Dalen, D. \.\; Troelstra, A.S. \.\; Muller, G.H. \.\; Lenski, W. \.\
|
|