хранилище/kolxo3/issue5─6/DVD14/M_Mathematics/MA_Algebra/MAml_Mathematical logic/
01 012606 Barwise J. (ed.) Handbook of mathematical logic(NH, 1977)(600dpi)(KA)(T)(1177s)_MAml_.djvu [request] 02-09-2013:03-02

02 012607 Белнап Н., Стил Т. (_Belnap,Steel_) Логика вопросов и ответов (Прогресс, 1981)(ru)(600dpi)(T)(288s)_MAml_.djvu [request] 02-09-2013:03-02

03 012608 Булос Дж., Джеффри Р. (_G.S.Boolos,R.C.Jeffrey_) Вычислимость и логика (Мир, 1994)(ru)(K)(T)(397s)_MAml_.djvu [request] 02-09-2013:03-02

04 012609 Чень Ч., Ли Р. Математическая логика и автоматическое доказательство теорем (Наука, 1983)(ru)(K)(T)(359s)_MAml_.djvu [request] 02-09-2013:03-02

05 012610 Драгалин А.Г. Конструктивная теория доказательств и нестандартный анализ (УРСС, 2003)(ru)(600dpi)(T)(543s)_MAml_.djvu [request] 02-09-2013:03-02

06 012611 Enderton H.B. A mathematical introduction to logic (2ed., Harcourt, 2001)(K)(T)(326s)_MAml_.djvu [request] 02-09-2013:03-02

07 012612 Enderton H.B. A Mathematical Introduction to Logic (2nd ed., Academic Press, 2001)(T)(326s)_MAml_.djvu [request] 02-09-2013:03-02

08 012613 Gabbay D., Guenthner F. Handbook of Philosophical Logic, Vol.1. Elements of Classical Logic (Reidel, 1983)(ISBN 9027715424)(K)(600dpi)(T)(511s)_MA [request] 02-09-2013:03-02

09 012614 Gabbay D., Guenthner F. Handbook of Philosophical Logic, Vol.2. Extensions of Classical Logic (Reidel, 1984)(ISBN 9027716048)(K)(600dpi)(T)(791s)_ [request] 02-09-2013:03-02

10 012615 Gabbay D., Guenthner F. Handbook of Philosophical Logic, Vol.3. Alternatives in Classical Logic (Reidel, 1986)(ISBN 9027716056)(K)(600dpi)(T)(535s [request] 02-09-2013:03-02

11 012616 Гастев Ю.А. Гомоморфизмы и модели. Логико-алгебраические аспекты моделирования (Наука, 1975)(ru)(600dpi)(T)(152s)_MAml_.djvu [request] 02-09-2013:03-02

12 012617 Гейтинг А. (_Hayting_) Интуиционизм (Мир 1965)(ru)(T)(202s)_MAml_.djvu [request] 02-09-2013:03-02

13 012618 Генкин Л. О математической индукции (ФМЛ, 1962)(ru)(600dpi)(L)(T)(19s)_MAml_.djvu [request] 02-09-2013:03-02

14 012619 Гильберт Д., Бернайс П. Основания математики. Том 1 (Наука, 1979)(ru)(K)(T)(557s)_MAml_.djvu [request] 02-09-2013:03-02

15 012620 Гильберт Д., Бернайс П. Основания математики. Том 2 (Наука, 1982)(ru)(K)(T)(653s)_MAml_.djvu [request] 02-09-2013:03-02

16 012621 Гудстейн Р.Л. (_Goodstein R.L._) Математическая логика (Инязлит, 1961)(ru)(K)(600dpi)(T)(166s)_MAml_.djvu [request] 02-09-2013:03-02

17 012622 Harel D., Kozen D., Tiuryn J. Dynamic logic (MIT, 2000)(ISBN 0262082896)(476s)_MAml_.pdf [request] 02-09-2013:03-02

18 012623 Hein J. Discrete structures, logic and computability (JaB, 1995)(600dpi)(T)(949s)_MAml_.djvu [request] 02-09-2013:03-02

19 012624 Hurley P.J. A concise introduction to logic (7ed., Wadsworth Publishing,2000)(ISBN 0534968880)(no TOC)(681s)_MAml_.pdf [request] 02-09-2013:03-02

20 012625 Кановей В.Г. Аксиома выбора и аксиома детерминированности (Наука, 1984)(K)(ru)(T)(65s)_MAml_.djvu [request] 02-09-2013:03-02

21 012626 Казимиров Н.И. Введение в аксиоматическую теорию множеств (Петрозаводск, 2000)(ru)(600dpi)(T)(103s)_MAml_.djvu [request] 02-09-2013:03-02

22 012627 Клини С.К. (_Kleene S.C._) Введение в метаматематику (ИЛ, 1957)(ru)(T)(527s)_MAml_.djvu [request] 02-09-2013:03-02

23 012628 Kneebone G.T. Mathematical logic and the foundations of mathematics (Van Nostrand, 1963)(K)(T)(447s)_MAml_.djvu [request] 02-09-2013:03-02

24 012629 Кузичев А.С. Диаграммы Венна (Наука, 1968)(ru)(600dpi)(T)(253s)_MAml_.djvu [request] 02-09-2013:03-02

25 012630 Лавров И.А., Максимова Л.Л. Задачи по теории множеств, математической логике и теории алгоритмов (5е изд., ФМЛ, 2004)(ru)(K)(600dpi)(T)(256s)_M [request] 02-09-2013:03-02

26 012631 Лукасевич Я. (_Lukasiewicz J._) Аристотелевская силлогистика с точки зрения современной формальной логики (ИЛ, 1959)(ru)(600dpi)(T)(313s)_MAm [request] 02-09-2013:03-02

27 012632 Makkai M. Fibrational formulation of intuitionistic predicate logic 1, part 1 (Notre Dame J.Formal Logic 34, p334, 1993)(600dpi)(T)(44s)_MAml_.djv [request] 02-09-2013:03-02

28 012633 Makkai M. Fibrational formulation of intuitionistic predicate logic 1, part 2 (Notre Dame J.Formal Logic 34, p471, 1993)(600dpi)(T)(28s)_MAml_.djv [request] 02-09-2013:03-02

29 012634 Манин Ю.И. Лекции по математической логике, часть 1 (МИЭМ, 1974)(ru)(T)(135s)_MAml_.djvu [request] 02-09-2013:03-02

30 012635 Манин Ю.И. Лекции по математической логике, часть 2 (МИЭМ, 1974)(ru)(T)(71s)_MAml_.djvu [request] 02-09-2013:03-02

31 012636 Медведев Ф.А. Ранняя история аксиомы выбора (Наука, 1982)(ru)(T)(305s)_MAml_.djvu [request] 02-09-2013:03-02

32 012637 Метакидес Г., Нероуд А. Принципы логики и логического программирования(Факториал, 1998)(ru)(L)(T)(144s)_MAml_.djvu [request] 02-09-2013:03-02

33 012638 Nelson E. Predicative arithmetic (Princeton, 1986)(T)(201s)_MAml_.djvu [request] 02-09-2013:03-02

34 012639 Nolt J., Rohatyn D., Varzi A. Schaum#s Outline of Logic (Schaum,1998)(ISBN 0070466491)(T)(329s)_MAml_.djvu [request] 02-09-2013:03-02

35 012640 Новиков П.С. Элементы математической логики(Наука, 1973)(600dpi)(ru)(KA)(T)(400s)_MAml_.djvu [request] 02-09-2013:03-02

36 012641 Odifreddi P. Classical recursion theory.. the theory of functions and sets of natural numbers (Elsevier, 1989)(T)(677s)_MAml_.djvu [request] 02-09-2013:03-02

37 012642 Пинус А.Г. Условные термы и их применение в алгебре и теории вычислений (НГТУ, 2002)(ru)(600dpi)(T)(239s)_MAml_.djvu [request] 02-09-2013:03-02

38 012643 Плоткин Б.И. Универсальная алгебра, алгебраическая логика и базы данных (Наука, 1991)(ru)(KA)(600dpi)(T)(449s)_MAml_.djvu [request] 02-09-2013:03-02

39 012644 Poincare H. Les mathematiques et la logique(fr)(T)(54s)_MAml_.djvu [request] 02-09-2013:03-02

40 012645 Расева Е., Сикорский Р. (_Rasiowa,Sikorski_) Математика метаматематики (Наука, 1972)(ru)(150dpi)(L)(T)(295s)_MAml_.djvu [request] 02-09-2013:03-02

41 012646 Шрейдер Ю.А. Равенство, сходство, порядок (Наука, 1971)(ru)(KA)(T)(257s)_MAml_.djvu [request] 02-09-2013:03-02

42 012647 Сикорский Р. Булевы алгебры(Мир, 1969)(ru)(KA)(600dpi)(T)(376s)_MAml_.djvu [request] 02-09-2013:03-02

43 012648 Smullyan R. Godel#s incompleteness theorems (Oxford, 1992)(600dpi)(T)(151s)_MAml_.djvu [request] 02-09-2013:03-02

44 012649 Smullyan R. Recursion theory for metamathematics (Oxford, 1993)(600dpi)(T)(175s)_MAml_.djvu [request] 02-09-2013:03-02

45 012650 Stenlund S. Combinators,lambda-terms and proof theory(1972)(T)(187s)(600dpi)_MAml_.djvu [request] 02-09-2013:03-02

46 012651 Столл Р.Р. Множества. Логика. Аксиоматические теории (Просвещение, 1968)(ru)(K)(600dpi)(T)(232s)_MAml_.djvu [request] 02-09-2013:03-02

47 012652 Владимиров Д.А. Булевы алгебры (Наука, 1969)(ru)(K)(600dpi)(T)(319s)_MAml_.djvu [request] 02-09-2013:03-02