Математическая логика

Определимость и вычислимость Автор: Ершов Ю. Л. Год: 1996 Издание: [не указано]	Основания интуиционистской математики с точки зрения теории рекурсивных функций Автор: Клини С., Весли Р. Год: 1978 Издание: [не указано]
Основания математической логики Автор: Карри Х. Б. Год: 1969 Издание: [не указано]	Основания теории множеств Автор: Френкель А.А., Бар-Хиллел И. Год: 1966 Издание: [не указано]
Основоположения арифметики: Логико-математическое исследование о понятии числа Автор: Фреге Г. Год: 2000 Издание: [не указано]	Основы теоретической логики Автор: Гильберт Д., Аккерман В. Год: 1947 Издание: [не указано]
Очерки по вопросам обоснования математики Автор: Молодший В.Н. Год: 1958 Издание: [не указано]