Search for 'au:"Кабаков, Ф. А."' with limit(s): 'suppress:false'

Введение в математическую логику

By Мендельсон, Эллиот. Москва Наука 1984 . 319 с. , Пер. изд.: Introduction to mathematical logic / by Elliott Mendelson. Princeton [etc.] : D. Van Nostrand co, 1964

Place hold on Введение в математическую логику

Введение в математическую логику

By Мендельсон, Эллиот. Москва Наука 1976 . 320 с. , Пер. изд.: Introduction to mathematical logic / By Elliott Mendelson (Princeton, N.J. etc., 1964) | На обороте тит. л.: Introduction to mathematical logic. By Elliott Mendelson

Place hold on Введение в математическую логику

Введение в математическую логику

By Мендельсон, Эллиот. Москва Наука 1971 . 320 с. , На обороте тит. л.: Introduction to mathematical logic. By Elliott Mendelson

Place hold on Введение в математическую логику

Основания интуиционистской математики с точки зрения теории рекурсивных функций

By Клини, Стефен Коул. Москва Наука 1978 . 271 с. , Пер. изд.: The foundations of intuitionistic matcs especially in recursive functions / S.C. Kleene, R.E. Vesley (Amsterdam, 1965)

Place hold on Основания интуиционистской математики с точки зрения теории рекурсивных функций