Your search returned 4 results.

Results
	1.	Введение в математическую логику/ Э.Мендельсон; Пер. Кабаков. by Мендельсон,Э Мендельсон, Э Кабаков, Ф.А [Пер.] Material type: Text; Format: print ; Literary form: Not fiction Language: Russian Publication details: Москва: Наука, 1976 Availability: Items available for loan: Institute for Informatics and Automation Problems (1)Call number: 51.01:16 М 50. Place hold Add to cart (remove)
	2.	Конструктивная математическая логика с точки зрения классической/ П.С. Новиков; Ред. Ф.А. Кабаков by Новиков, П.С Новиков, П.С Кабаков, Ф.А [Ред.] Series: Математическая логика и основания математики Material type: Text; Format: print ; Literary form: Not fiction Language: Russian Publication details: Москва; Наука, 1977 Availability: Items available for loan: Institute for Informatics and Automation Problems (1)Call number: 51.01:16 H 73. Place hold Add to cart (remove)
	3.	Введение в математическую логику/ Э. Мендельсон; Ред. В.В. Донченко; Пер. Ф.А. Кабаков by Мендельсон, Э Донченко, В.В [Ред.] Кабаков, Ф.А [Пер.] Material type: Text; Format: print ; Literary form: Not fiction Language: Russian Publication details: Москва: Наука 1971 Availability: Items available for loan: Institute for Informatics and Automation Problems (1)Call number: 51.01:16 М 50. Place hold Add to cart (remove)
	4.	Основания интуиционистской математики с точки зрения теории рекурсивных функций/ Стефен Клини, Ричард Весли; Пер. Ф.А. Кабаков by Клини, Стефен Весли, Ричард Кабаков, Ф.А [пер.] Series: Математическая логика и основания математики Material type: Text; Format: print Language: Russian Original language: English Publication details: Москва: Наука, 1978 Other title: The Foundations of Intuitionistic Mathematics Availability: Items available for loan: Institute for Informatics and Automation Problems (2)Call number: 51.01:16, ... Place hold Add to cart (remove)

ԳԱԱ Ինստիտուտների համահավաք գրացուցակ
ՀՀ,Երևան 0019
Մարշալ Բաղրամյան 24

Հետադարձ կապ

All site content, except where otherwise noted, is licensed under a
Creative Commons License