Your search returned 38 results.

Results
	1.	Конструктивная математическая логика с точки зрения классической/ П. С. Новиков by Новиков, П. С Новиков, П. С Series: Математическая логика и основания математики Material type: Text; Format: print ; Literary form: Not fiction Language: Russian Publication details: Москва: Наука, 1977 Availability: No items available. Add to cart (remove)
	2.	Лекции по констрактивному математическому анализу/ Б. А. Кушнер; ред. В. В. Донченко by Кушнер, Борис Абрамович Донченко, В. В Series: Математическая логика и основания математики Material type: Text; Format: print ; Literary form: Not fiction Language: Russian Publication details: Москва: Наука, 1973 Availability: Items available for loan: Institute for Informatics and Automation Problems (1)Call number: 51.01:518.5 К 96. Place hold Add to cart (remove)
	3.	Степени неразрешимости/ Дж. Шенфилд; пер. И. А. Лавров; ред. Ю. Л. Ершов 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:518.5 Ш 47. Place hold Add to cart (remove)
	4.	Лекции о вычислимых функциях/ В. А. Успенский; ред. Ю. А. Шиханович by Успенский, Василий Андреевич Шиханович, Ю. А [ред.] Series: Математическая логика и основания математики Material type: Text; Format: print ; Literary form: Not fiction Language: Russian Publication details: Москва: Гос изд- во физико-математической литературы, 1960 Availability: Items available for loan: Institute for Informatics and Automation Problems (1)Call number: 51.01:518.5 У 77. Place hold Add to cart (remove)
	5.	Теория формальных систем/ Р. Смальян; пер. Н. К. Косовский; ред. Н. А. Шанин by Смальян, Р Косовский, Н. К [пер.] Шанин, Н. А [ред.] Series: Математическая логика и основания математики Material type: Text; Format: print ; Literary form: Not fiction Language: Russian Publication details: Москва: Наука, 1981 Availability: Items available for loan: Institute for Informatics and Automation Problems (1)Call number: 51.01:518.5 С 50. Place hold Add to cart (remove)
	6.	Конструктивная математическая логика с точки зрения классической/ П.С. Новиков 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 Н 73. Place hold Add to cart (remove)
	7.	Элементы математической логики/ П.С. Новиков by Новиков,Петр Сергеевич Новиков, П.С Series: Математическая логика и основания математики Material type: Text; Format: print ; Literary form: Not fiction Language: Russian Publication details: Москва: Наука, 1973 Availability: Items available for loan: Institute for Informatics and Automation Problems (1)Call number: 51.01:16 Н 73. Place hold Add to cart (remove)
	8.	Математическое логика и автоматическое доказательство теорем/ Ч. Чень, Р. Ли; пер. Г. В. Давыдов, Г. Е. Минц; ред. С.Ю. Маслов by Ч,ень, Ч Ли. Р Давыдов,Г. В [пер.] Минц, Г. Е [пер.] Маслов,С.Ю [ред.] Series: Математическая логика и основания математики Material type: Text; Format: print ; Literary form: Not fiction Language: Russian Publication details: Москва: Наука, 1983 Availability: Items available for loan: Institute for Informatics and Automation Problems (1)Call number: 51.01:16 Ч 38. Place hold Add to cart (remove)
	9.	Конструктивная математическая логика с точки зрения классической/ П. С. Новиков 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 Н 73. Place hold Add to cart (remove)
	10.	Конструктивная математическая логика с точки зрения классической/ П. С. Новиков by Новиков, Петр Сергеевич Series: Математическая логика и основания математики Material type: Text; Format: print Language: Russian Publication details: Москва: Наука, 1977 Availability: Items available for loan: Institute of Geophysics and Engineering Seismology (2)Call number: 517.11/Н73, ... Place hold Add to cart (remove)
	11.	Введение в теорию моделей и метаматематику алгебры / А. Робинсон, пер. с англ. А. Б. Волынского by Робинсон, А Робинсон А [авт.] Волынский А. Б [пер.] Донченко В. В [ред.] Series: Математическая логика и основания математики Material type: Text; Format: print Language: Russian Original language: English Publication details: Москва : Наука, 1967 Other title: Introduction to model theory and to the metamathematics of algebra / Availability: Items available for loan: Institute of Radiophysics & Electronics (1)Call number: 512.8 Р 583. Place hold Add to cart (remove)
	12.	Математическая теория логического вывода / под ред. А. В. Идельсона by Идельсон А. В [под ред.] Донченко В. В [ред.] Series: Математическая логика и основания математики Material type: Text; Format: print Language: Russian Publication details: Москва : Наука, 1967 Availability: Items available for loan: Institute of Radiophysics & Electronics (1)Call number: 512.8 М 340. Place hold Add to cart (remove)
	13.	Конечные автоматы: Поведение и синтез/ Б. А. Трахтенброт, Я. М. Барздинь by Трахтенброт, Борис Авраамович Барздинь, Ян Мартынович Series: Математическая логика и основания математики Material type: Text; Format: print Language: Russian Publication details: Москва: Наука, 1970 Availability: Items available for loan: Institute of Geophysics and Engineering Seismology (1)Call number: 517.11/Т65. Place hold Add to cart (remove)
	14.	Основания интуиционистской математики с точки зрения теории рекурсивных функций/ Стефен Клини, Ричард Весли; Пер. Ф.А. Кабаков 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)
	15.	Конструктивная математическая логика с точки зрения классической/ П.С. Новиков; Ред. Ф.А. Кабаков 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)
	16.	Модальная логика/ Р. Фейс; Пер. Г.Е. Минц by Фейс, Р Минц, Г. Е [пер.] Series: Математическая логика и основания математики Material type: Text; Format: print ; Literary form: Not fiction Language: Russian Publication details: Москва: Наука, 1974 Availability: Items available for loan: Institute for Informatics and Automation Problems (1)Call number: 51.01:16 Ф 36. Place hold Add to cart (remove)
	17.	Математическа теория логического вывода/ Сборник переводов под ред. А. В. Идльсона и Г. Е. Минца. by Идельсон, А. В [ред.] Минц, Г. Е [ред.] Series: Математическая логика и основания математики Material type: Text; Format: print ; Literary form: Not fiction Language: Russian Publication details: Москва; Наука, 1967 Availability: Items available for loan: Institute for Informatics and Automation Problems (1)Call number: 51.01:16 М 34. Place hold Add to cart (remove)
	18.	Математика метаматематики/ Е. Расева, Р. Сикорский; пер. В. А. Янков by Расева, Е Сикорский, Р Янков, В. А [пер.] Series: Математическая логика и основания математики Material type: Text; Format: print ; Literary form: Not fiction Language: Russian Availability: Items available for loan: Institute for Informatics and Automation Problems (1)Call number: 51.01:16 Р 24. Place hold Add to cart (remove)
	19.	Теория нумераций/ Ю. Л. Ершов; ред. В. В. Донченко 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:518.5 Е 80. Place hold Add to cart (remove)
	20.	Элементы математической логики/ П. С. Новиков by Новиков, Петр Сергеевич Series: Математическая логика и основания математики Edition: Изд. 2-е, испр. Material type: Text; Format: print Language: Russian Publication details: Москва: Наука, 1973 Availability: Items available for loan: Institute of Geophysics and Engineering Seismology (1)Call number: 517.11/Н73. Place hold Add to cart (remove)

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

Հետադարձ կապ

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

Refine your search

Availability

Authors

Item types

Places

Series

Topics

Collections

Holding libraries

Languages

Your search returned 38 results.