Библиотека научной литературы: книги, журналы, статьи, Books, Magazines, Articles
Библиотека научной литературы: книги, журналы, статьи, Books, Magazines, Articles
| Filename | modified | size | mimetype |
| Enderton H.B. A Mathematical Introduction to Logic (2nd ed., Academic Press,... ендертон х.б. а математическийал интродуцтион то логиц (2нд ед.,... | May 4, 2004 | 3.3 Mb | application/octet-stream; charset=binary |
| Ajzerman M.A., Gusev L.A., Rozonoer L.I., Smirnova I.M., Tal' A.A. Logika, avtomaty, algoritmy... айзерман м.а., гусев л.а., розоноер л.и., смирнова и.м., таль а.а.... | Nov 26, 2004 | 5.6 Mb | application/octet-stream; charset=binary |
| Enderton H.B. A mathematical introduction to logic (2ed., Harcourt, 2001)(K)(T)(326s)_MAml_.djvu ендертон х.б. а математическийал интродуцтион то логиц (2ед.,... | Oct 4, 2005 | 3.5 Mb | application/octet-stream; charset=binary |
| Ajzerman M.A., i dr. Logika. Avtomaty. Algoritmy (FML,1963)(ru)(L)(T)(279s)_MAml_.djvu айзерман м.а., и др. логика. автоматы. алгоритмы... | Jan 29, 2005 | 6.6 Mb | application/octet-stream; charset=binary |
| Ershov Ju.L. Kratno normirovannye polya (Novosibirsk, 2000)(ru)(T)(340s).djvu ершов ю.л. кратно нормированные поля (новосибирск, 2000)(ру)(т)(340с) | Sep 17, 2004 | 3.7 Mb | application/octet-stream; charset=binary |
| Barwise J. (ed.) Handbook of mathematical logic(NH, 1977)(600dpi)(KA)(T)(1177s)_MAml_.djvu баршисе й. (ед.) хандбоок оф математическийал логиц(нх,... | Jan 27, 2006 | 9.0 Mb | application/octet-stream; charset=binary |
| Ershov Ju.L. Opredelimost' i vychislimost' (Novosibirsk, 1996)(ru)(L)(T)(148s).djvu ершов ю.л. определимость и вычислимость (новосибирск,... | Oct 27, 2004 | 2.3 Mb | application/octet-stream; charset=binary |
| Barwise J., Etchemendy J. Language, proof and logic (1999)(ISBN 1889119083)(597s)_MAml_.pdf баршисе й., етчеменды й. лангуаге, прооф анд логиц (1999)(исбн... | Feb 4, 2005 | 3.8 Mb | application/pdf; charset=binary |
| Chupaxin I.Ja., i dr. Formal'naja logika (Izdatel'stvo Leningradskogo universiteta imeni... чупахин и.я., и др. формальная логика (издательство... | Dec 13, 2004 | 3.9 Mb | application/octet-stream; charset=binary |
| Belnap N., Stil T. (_Belnap,Steel_) Logika voprosov i otvetov (Progress,... белнап н., стил т. ( белнап,стеел ) логика вопросов и ответов... | Apr 1, 2003 | 6.9 Mb | application/octet-stream; charset=binary |
| Ershov Ju.L. Teorija numeracij (Nauka, 1977)(ru)(L)(T)(208s)_MAml_.djvu ершов ю.л. теория нумераций (наука, 1977)(ру)(л)(т)(208с) мамл | Jan 29, 2005 | 3.5 Mb | application/octet-stream; charset=binary |
| Berkli A. Simvolicheskaja logika i razumnye mashiny (1961)(T)(260s)(ru)(K).djvu беркли а. символическая логика и разумные машины (1961)(т)(260с)(ру)(к) | Dec 13, 2004 | 2.0 Mb | application/octet-stream; charset=binary |
| E'del'man S.L. Matematicheskaja logika (VSh, 1975)(T)(176s)(ru)(K).djvu эдельман с.л. математическая логика (вш, 1975)(т)(176с)(ру)(к) | Dec 13, 2004 | 1.5 Mb | application/octet-stream; charset=binary |
| Berkli E'. (_A.Berkeley_) Simvolicheskaja logika i razumnye mashiny (IL, 1961)(ru)(K)(T)(260s).djvu беркли э. ( а.беркелеы ) символическая логика и разумные машины... | Dec 13, 2004 | 2.0 Mb | application/octet-stream; charset=binary |
| Dragalin. Matematicheskij intuicionizm. Vvedenie v teoriju dokazatel'stv (Nauka,... драгалин. математический интуиционизм. введение в теорию... | Dec 13, 2004 | 3.3 Mb | application/octet-stream; charset=binary |
| Berkli E'. (_Berkeley_) Simvolicheskaja logika i razumnye mashiny (IL,... беркли э. ( беркелеы ) символическая логика и разумные машины (ил,... | Jan 29, 2005 | 2.4 Mb | application/octet-stream; charset=binary |
| Chupahin I.Ja., Brodskij I.N. (red.) Formal'naja logika (LGU 1977)(T)(357s)(ru)(K).djvu чупахин и.я., бродский и.н. (ред.) формальная логика (лгу... | Dec 13, 2004 | 3.9 Mb | application/octet-stream; charset=binary |
| Brodskij I.N. Otricatel'nie vyskazyvanija (Izdatel'stvo Leningradskogo universiteta imeni... бродский и.н. отрицательние высказывания (издательство... | Dec 13, 2004 | 1.4 Mb | application/octet-stream; charset=binary |
| Frejdental' X. Jazyk logiki (Nauka, 1969)(T)(136s)(ru)(K).djvu фрейденталь х. язык логики (наука, 1969)(т)(136с)(ру)(к) | Dec 13, 2004 | 1.0 Mb | application/octet-stream; charset=binary |
| Brodskij I.N. Otricatel'nie vyskazyvanija (LGU, 1973)(T)(104s)(ru)(K).djvu бродский и.н. отрицательние высказывания (лгу, 1973)(т)(104с)(ру)(к) | Dec 13, 2004 | 1.4 Mb | application/octet-stream; charset=binary |
| Fejs R. Modal'naya logika (ru)(Nauka, 1974)(T)(518s).djvu фейс р. модальная логика (ру)(наука, 1974)(т)(518с) | Dec 13, 2004 | 6.2 Mb | application/octet-stream; charset=binary |
| Brodskij I.N. Otricatel'nye vyskazyvanija (LGU,1973)(ru)(L)(T)(53s)_MAml_.djvu бродский и.н. отрицательные высказывания (лгу,1973)(ру)(л)(т)(53с) мамл | Feb 3, 2005 | 1.6 Mb | application/octet-stream; charset=binary |
| Chyorch A. Vvedenie v matematicheskuju logiku, tom 1 (1960)(ru)(L)(T)(242s).djvu чёрч а. введение в математическую логику, том 1 (1960)(ру)(л)(т)(242с) | Dec 13, 2004 | 5.2 Mb | application/octet-stream; charset=binary |
| Bulos Dzh., Dzheffri R. (_G.S.Boolos,R.C.Jeffrey_) Vychislimost' i logika (Mir,... булос дж., джеффри р. ( г.с.боолос,р.ц.еффреы ) вычислимость и... | Jun 22, 2005 | 3.9 Mb | application/octet-stream; charset=binary |
| Dragalin A.G. Konstruktivnaja teorija dokazatel'stv i nestandartnyj analiz (URSS,... драгалин а.г. конструктивная теория доказательств и... | Jul 29, 2005 | 8.1 Mb | application/octet-stream; charset=binary |
| Bulos Dzh., Dzheffri R. (_G.S.Boolos,R.C.Jeffrey_) Vychislimost' i logika (Mir,... булос дж., джеффри р. ( г.с.боолос,р.ц.еффреы ) вычислимость и... | Feb 5, 2005 | 10.0 Mb | application/octet-stream; charset=binary |
| Frejdental' X. Jazyk logiki (Nauka,1969)(ru)(L)(T)(69s)_MAml_.djvu фрейденталь х. язык логики (наука,1969)(ру)(л)(т)(69с) мамл | Jan 29, 2005 | 1.2 Mb | application/octet-stream; charset=binary |
| Causey R. Logic, sets and recursion(JaB, 1994)(400dpi)(T)(440s)_MAml_.djvu цаусеы р. логиц, сетс анд рецурсион(яб, 1994)(400дпи)(т)(440с) мамл | Mar 25, 2002 | 2.7 Mb | application/octet-stream; charset=binary |
| Frege G. Osnovopolozheniya arifmetiki (2000)(ru)(64s).pdf фреге г. основоположения арифметики (2000)(ру)(64с) | Oct 27, 2004 | 0.8 Mb | application/pdf; charset=binary |
| Chagrov A., Zakharyaschev M. Modal logic (Oxford, 1997)(600dpi)(T)(610s)_MAml_.djvu чагров а., закхарясчев м. модал логиц (охфорд, 1997)(600дпи)(т)(610с) мамл | Dec 24, 2004 | 6.9 Mb | application/octet-stream; charset=binary |
| Chupahin I.Ja., Brodskij I.N. (red.) Formal'naja logika (LGU 1977)(ru)(L)(T)(179s)_MAml_.djvu чупахин и.я., бродский и.н. (ред.) формальная логика (лгу... | Feb 5, 2005 | 4.5 Mb | application/octet-stream; charset=binary |
| Chen' Ch., Li R. Matematicheskaya logika i avtomaticheskoe dokazatel'stvo teorem (Nauka,... чень ч., ли р. математическая логика и автоматическое... | Dec 4, 2002 | 4.1 Mb | application/octet-stream; charset=binary |
| Ebbinghaus H.-D., Flum J., Thomas W. Mathematical logic (ISBN 0-387-90895-1)(Springer,... еббингхаус х.-д., флум й., тхомас ш. математическийал логиц (исбн... | Sep 17, 2004 | 2.1 Mb | application/octet-stream; charset=binary |
| Gabbay D., Guenthner F. Handbook of Philosophical Logic, Vol.1. Elements of Classical Logic... габбаы д., гуентхнер ф. хандбоок оф пхилосопхицал логиц, вол.1.... | Jan 27, 2006 | 5.9 Mb | application/octet-stream; charset=binary |
| Ershov Ju.L., Paljutin E.A. Matematicheskaja logika (2e izd., Nauka,... ершов ю.л., палютин е.а. математическая логика (2е изд., наука,... | Jan 29, 2005 | 4.3 Mb | application/octet-stream; charset=binary |
| Frenkel' A.A., Bar-Hillel I. (_Fraenkel,Bar-Hillel_) Osnovaniya teorii mnozhestv (Mir,... френкель а.а., бар-хиллел и. ( фраенкел,бар-хиллел ) основания... | Oct 27, 2004 | 7.5 Mb | application/octet-stream; charset=binary |
| Goncharov S.S. Schetnye bulevy algebry i razreshimost' (Novosibirsk,1996)(ru)(T)(373s)_MAml_.djvu гончаров с.с. счетные булевы алгебры и разрешимость... | Jan 29, 2005 | 3.7 Mb | application/octet-stream; charset=binary |
| McCall R.J. Basic logic (2ed., 1952)(T)(263s).djvu мццалл р.й. басиц логиц (2ед., 1952)(т)(263с) | Sep 17, 2004 | 2.5 Mb | application/octet-stream; charset=binary |
| Gabbay D., Guenthner F. Handbook of Philosophical Logic, Vol.2. Extensions of Classical Logic... габбаы д., гуентхнер ф. хандбоок оф пхилосопхицал логиц, вол.2.... | Jan 27, 2006 | 8.3 Mb | application/octet-stream; charset=binary |
| Kutasov A.D. E'lementy matematicheskoj logiki (1977)(ru)(L)(T)(32s)_MAml_.djvu кутасов а.д. элементы математической логики (1977)(ру)(л)(т)(32с) мамл | Feb 5, 2005 | 0.9 Mb | application/octet-stream; charset=binary |
| Kondakov N.I. Vvedenie v logiku (Nauka 1967)(ru)(L)(T)(235s)_MAml_.djvu кондаков н.и. введение в логику (наука 1967)(ру)(л)(т)(235с) мамл | Feb 5, 2005 | 8.0 Mb | application/octet-stream; charset=binary |
| Gabbay D., Guenthner F. Handbook of Philosophical Logic, Vol.3. Alternatives in Classical Logic... габбаы д., гуентхнер ф. хандбоок оф пхилосопхицал логиц, вол.3.... | Jan 27, 2006 | 6.9 Mb | application/octet-stream; charset=binary |
| Gorskij, Tavanec (red.). Logika (Institut filosofii AN SSSR, 1956)(ru)(L)(T)(141s)_MAml_.djvu горский, таванец (ред.). логика (институт философии ан ссср,... | Jan 29, 2005 | 3.7 Mb | application/octet-stream; charset=binary |
| Gastev Yu.A. Gomomorfizmy i modeli. Logiko-algebraicheskie aspekty modelirovaniya (Nauka,... гастев ю.а. гомоморфизмы и модели. логико-алгебраические... | Jan 27, 2006 | 1.8 Mb | application/octet-stream; charset=binary |
| Karri H.B. Osnovanija matematicheskoj logiki (Mir, 1969)(ru)(K)(T)(566s).djvu карри х.б. основания математической логики (мир, 1969)(ру)(к)(т)(566с) | Sep 17, 2004 | 6.2 Mb | application/octet-stream; charset=binary |
| Gejting A. (_Hayting_) Intuicionizm (Mir 1965)(ru)(T)(202s)_MAml_.djvu гейтинг а. ( хаытинг ) интуиционизм (мир 1965)(ру)(т)(202с) мамл | Jun 22, 2005 | 1.5 Mb | application/octet-stream; charset=binary |
| Janovskaja S.A., i dr. Problemy logiki (1963)(T)(152s)(ru)(K).djvu яновская с.а., и др. проблемы логики (1963)(т)(152с)(ру)(к) | Dec 13, 2004 | 1.3 Mb | application/octet-stream; charset=binary |
| Genkin L. O matematicheskoj indukcii (FML, 1962)(ru)(600dpi)(L)(T)(19s)_MAml_.djvu генкин л. о математической индукции (фмл, 1962)(ру)(600дпи)(л)(т)(19с)... | Jun 22, 2005 | 2.1 Mb | application/octet-stream; charset=binary |
| Gudstejn R.L. (_Goodstein R.L._) Matematicheskaya logika (Inyazlit,... гудстейн р.л. ( гоодстеин р.л. ) математическая логика (инязлит,... | Nov 1, 2003 | 3.8 Mb | application/octet-stream; charset=binary |
| Gil'bert D., Bernajs P. Osnovanija matematiki. Logicheskie ischislenija i formalizacija... гильберт д., бернайс п. основания математики. логические... | Dec 13, 2004 | 5.2 Mb | application/octet-stream; charset=binary |
| Harel D., Kozen D., Tiuryn J. Dynamic logic (MIT, 2000)(ISBN 0262082896)(476s)_MAml_.pdf харел д., козен д., тиурын й. дынамиц логиц (мит, 2000)(исбн 0262082896)(476с)... | Jan 5, 2006 | 2.3 Mb | application/pdf; charset=binary |
| Gil'bert D., Bernajs P. Osnovanija matematiki. Teorija dokazatel'stv (Nauka,... гильберт д., бернайс п. основания математики. теория... | Dec 13, 2004 | 7.2 Mb | application/octet-stream; charset=binary |
| Hein J. Discrete structures, logic and computability (JaB, 1995)(600dpi)(T)(949s)_MAml_.djvu хеин й. дисцрете струцтурес, логиц анд цомпутабилиты (яб,... | Dec 20, 2002 | 5.9 Mb | application/octet-stream; charset=binary |
| Gil'bert D., Bernajs P. Osnovaniya matematiki. Tom 1 (Nauka, 1979)(ru)(K)(T)(557s)_MAml_.djvu гильберт д., бернайс п. основания математики. том 1 (наука,... | Oct 19, 2002 | 5.9 Mb | application/octet-stream; charset=binary |
| Herrlich H. Axiom of choice (LNM1876, Springer, 2006)(ISBN 3540309896)(206s)_MAml_.pdf херрлич х. ахиом оф чоице (лнм1876, спрингер, 2006)(исбн 3540309896)(206с) мамл | Jul 25, 2006 | 1.3 Mb | application/pdf; charset=binary |
| Gil'bert D., Bernajs P. Osnovaniya matematiki. Tom 2 (Nauka, 1982)(ru)(K)(T)(653s)_MAml_.djvu гильберт д., бернайс п. основания математики. том 2 (наука,... | Feb 22, 2004 | 7.7 Mb | application/octet-stream; charset=binary |
| Kaluzhnin L.A. Chto takoe matematicheskaja logika (Nauka 1964)(ru)(L)(T)(77s)_MAml_.djvu калужнин л.а. что такое математическая логика (наука... | Feb 3, 2005 | 1.9 Mb | application/octet-stream; charset=binary |
| Gil'bert, Akkerman. Osnovy teoreticheskoj logiki (IL, 1947)(ru)(L)(T)(154s).djvu гильберт, аккерман. основы теоретической логики (ил,... | Dec 13, 2004 | 3.4 Mb | application/octet-stream; charset=binary |
| Klini S. (_S.C.Kleene_) Vvedenie v metamatematiku (IL, 1957)(ru)(T)(524s).djvu клини с. ( с.ц.клеене ) введение в метаматематику (ил, 1957)(ру)(т)(524с) | Oct 27, 2004 | 9.5 Mb | application/octet-stream; charset=binary |
| Gil'bert, Akkerman. Osnovy teoreticheskoj logiki (IL, 1947)(ru)(T)(154s).djvu гильберт, аккерман. основы теоретической логики (ил, 1947)(ру)(т)(154с) | Dec 13, 2004 | 3.4 Mb | application/octet-stream; charset=binary |
| Kaluzhnin L.A. Chto takoe matematicheskaja logika (Nauka, 1964)(T)(152s)(ru)(K).djvu калужнин л.а. что такое математическая логика (наука,... | Dec 13, 2004 | 1.3 Mb | application/octet-stream; charset=binary |
| Gindikin S.G. Algebra logiki v zadachax (Nauka 1972)(ru)(L)(T)(145s)_MAml_.djvu гиндикин с.г. алгебра логики в задачах (наука 1972)(ру)(л)(т)(145с) мамл | Jan 29, 2005 | 4.6 Mb | application/octet-stream; charset=binary |
| Klini S.K. (_S.C.Kleene_) Matematicheskaja logika (Mir, 1973)(ru)(L)(T)(240s).djvu клини с.к. ( с.ц.клеене ) математическая логика (мир, 1973)(ру)(л)(т)(240с) | Dec 13, 2004 | 6.2 Mb | application/octet-stream; charset=binary |
| Gindikin S.G. Algebra logiki v zadachax (Nauka, 1972)(T)(288s)(ru)(K).djvu гиндикин с.г. алгебра логики в задачах (наука, 1972)(т)(288с)(ру)(к) | Dec 13, 2004 | 3.9 Mb | application/octet-stream; charset=binary |
| Gorskij D.P., i dr. Logika (Pervaja obrazcovaja tipografija imeni Zhdanova,... горский д.п., и др. логика (первая образцовая типография имени... | Dec 13, 2004 | 3.0 Mb | application/octet-stream; charset=binary |
| Gohman, Spivak, Rozen, i dr. Sbornik zadach po matematicheskoj logike i algebre mnozhestv (2e... гохман, спивак, розен, и др. сборник задач по математической... | Dec 13, 2004 | 0.8 Mb | application/octet-stream; charset=binary |
| Gudstejn R.L. Rekursivnyj matematicheskij analiz (Nauka, 1970)(ru)(L)(T)(236s).djvu гудстейн р.л. рекурсивный математический анализ (наука,... | Oct 27, 2004 | 3.4 Mb | application/octet-stream; charset=binary |
| Gohman, Spivak, Rozen, i dr. Sbornik zadach po matematicheskoj logike i algebre mnozhestv... гохман, спивак, розен, и др. сборник задач по математической... | Jan 29, 2005 | 1.0 Mb | application/octet-stream; charset=binary |
| Klini S.K. Matematicheskaja logika (Mir, 1973)(ru)(L)(T)(240s).djvu клини с.к. математическая логика (мир, 1973)(ру)(л)(т)(240с) | Dec 13, 2004 | 6.2 Mb | application/octet-stream; charset=binary |
| Hart B., Valeriote M. (eds.) Lectures on algebraic model theory (AMS,... харт б., валериоте м. (едс.) лецтурес он алгебраиц модел теория... | Jul 18, 2004 | 1.0 Mb | application/octet-stream; charset=binary |
| Hurley P.J. A concise introduction to logic (7ed., Wadsworth Publishing,2000)(ISBN 0534968880)(no... хурлеы п.й. а цонцисе интродуцтион то логиц (7ед., шадсшортх... | Jan 4, 2006 | 2.7 Mb | application/pdf; charset=binary |
| Idel'son A.V., Minc G.E. (red.) Matematicheskaya teoriya logicheskogo vyvoda(Nauka,... идельсон а.в., минц г.е. (ред.) математическая теория логического... | Apr 24, 2002 | 3.4 Mb | application/octet-stream; charset=binary |
| Kac M., Ulam S. Matematika i logika.. retrospektiva i perspektivy (Mir,... кац м., улам с. математика и логика.. ретроспектива и перспективы... | Feb 3, 2005 | 2.8 Mb | application/octet-stream; charset=binary |
| Kanovej V.G. Aksioma vybora i aksioma determinirovannosti (Nauka, 1984)(K)(ru)(T)(65s)_MAml_.djvu кановей в.г. аксиома выбора и аксиома детерминированности... | Jun 22, 2005 | 1.0 Mb | application/octet-stream; charset=binary |
| Kazimirov N.I. Vvedenie v aksiomaticheskuyu teoriyu mnozhestv (Petrozavodsk,... казимиров н.и. введение в аксиоматическую теорию множеств... | Jun 22, 2005 | 0.7 Mb | application/octet-stream; charset=binary |
| Kejsler G.Dzh., Che'n Chen'-chun' (_Chen Chung Chang,H.J.Keisler_) Teorija nepreryvnyh modelej... кейслер г.дж., чэн чень-чунь ( чен чунг чанг,х.й.кеислер ) теория... | Jan 9, 2005 | 1.5 Mb | application/octet-stream; charset=binary |
| Kejsler G.Dzh., Che'n Chen'-chun' (_Chen Chung Chang,H.J.Keisler_) Teorija nepreryvnyh modelej... кейслер г.дж., чэн чень-чунь ( чен чунг чанг,х.й.кеислер ) теория... | Jan 9, 2005 | 1.5 Mb | application/octet-stream; charset=binary |
| Kitchev, Fedorov, i dr. Metodologicheskij analiz osnovanij matematiki (obzor)(Nauka,... китчев, федоров, и др. методологический анализ оснований... | Sep 17, 2004 | 3.2 Mb | application/octet-stream; charset=binary |
| Klini S.K. (_Kleene S.C._) Vvedenie v metamatematiku (IL, 1957)(ru)(T)(527s)_MAml_.djvu клини с.к. ( клеене с.ц. ) введение в метаматематику (ил,... | Jan 23, 2003 | 7.2 Mb | application/octet-stream; charset=binary |
| Klini, Vesli. Osnovanija intuicionistskoj matematiki, rekursivnye funkcii (Nauka,... клини, весли. основания интуиционистской математики,... | Dec 13, 2004 | 3.1 Mb | application/octet-stream; charset=binary |
| Klini, Vesli. Osnovanija intuicionistskoj matematiki, rekursivnye funkcii (Nauka,... клини, весли. основания интуиционистской математики,... | Dec 13, 2004 | 3.1 Mb | application/octet-stream; charset=binary |
| Kneebone G.T. Mathematical logic and the foundations of mathematics (Van Nostrand,... кнеебоне г.т. математическийал логиц анд тхе фоундатионс оф... | Apr 30, 2004 | 5.2 Mb | application/octet-stream; charset=binary |
| Kneebone G.T. Mathematical logic and the foundations of mathematics (Van Nostrand,... кнеебоне г.т. математическийал логиц анд тхе фоундатионс оф... | Sep 17, 2004 | 4.9 Mb | application/octet-stream; charset=binary |
| Kolmogorov A.N., Dragalin A.G. Vvedenie v matematicheskuju logiku (1962)(T)(120s)(ru)(K).djvu колмогоров а.н., драгалин а.г. введение в математическую логику... | Dec 13, 2004 | 1.2 Mb | application/octet-stream; charset=binary |
| Kolmogorov A.N., Dragalin A.G. Vvedenie v matematicheskuju logiku (1982)(T)(120s)(ru)(K).djvu колмогоров а.н., драгалин а.г. введение в математическую логику... | Dec 13, 2004 | 1.2 Mb | application/octet-stream; charset=binary |
| Kolmogorov A.N., Dragalin A.G. Vvedenie v matematicheskuju logiku... колмогоров а.н., драгалин а.г. введение в математическую логику... | Feb 5, 2005 | 1.5 Mb | application/octet-stream; charset=binary |
| Kolmogorov, Dragalin. Matematicheskaja logika. Dopolnitel'nye glavy (MGU, 1984)(ru)(L)(T)(61s).djvu колмогоров, драгалин. математическая логика. дополнительные... | Dec 13, 2004 | 1.8 Mb | application/octet-stream; charset=binary |
| Kolmogorov, Dragalin. Matematicheskaja logika. Dopolnitel'nye glavy (MGU, 1984)(ru)(T)(61s).djvu колмогоров, драгалин. математическая логика. дополнительные... | Dec 13, 2004 | 1.8 Mb | application/octet-stream; charset=binary |
| Kondakov N.I. Vvedenie v logiku (Nauka, 1967)(T)(467s)(ru)(K).djvu кондаков н.и. введение в логику (наука, 1967)(т)(467с)(ру)(к) | Dec 13, 2004 | 7.0 Mb | application/octet-stream; charset=binary |
| Mal'cev. Algebraicheskie sistemy (Nauka, 1970) (ru)(L)(T)(197s).djvu мальцев. алгебраические системы (наука, 1970) (ру)(л)(т)(197с) | Dec 13, 2004 | 5.1 Mb | application/octet-stream; charset=binary |
| Krajzel' G. (_Kreisel_) Issledovanija po teorii dokazatel'stv (NZN-Matematika 23, Mir,... крайзель г. ( креисел ) исследования по теории доказательств... | Feb 5, 2005 | 2.9 Mb | application/octet-stream; charset=binary |
| Kulik B.A. Logika estestvennyh rassuzhdenij (2001)(ru)(L)(T)(64s).djvu кулик б.а. логика естественных рассуждений (2001)(ру)(л)(т)(64с) | Dec 13, 2004 | 1.5 Mb | application/octet-stream; charset=binary |
| Manin Yu.I. Lekcii po matematicheskoj logike, chast' 2 (MIE'M, 1974)(ru)(T)(71s)_MAml_.djvu манин ю.и. лекции по математической логике, часть 2 (миэм,... | Jun 22, 2005 | 0.9 Mb | application/octet-stream; charset=binary |
| Kutasov A.D. E'lementy matematicheskoj logiki (Prosveshchenie 1977)(T)(63s)(ru)(K).djvu кутасов а.д. элементы математической логики (просвешчение... | Dec 13, 2004 | 0.8 Mb | application/octet-stream; charset=binary |
| Manin. Dokazuemoe i nedokazuemoe (1979) (ru)(L)(T)(88s).djvu манин. доказуемое и недоказуемое (1979) (ру)(л)(т)(88с) | Sep 17, 2004 | 2.4 Mb | application/octet-stream; charset=binary |
| Kuzichev A.S. Diagrammy Venna (Nauka, 1968)(ru)(600dpi)(T)(253s)_MAml_.djvu кузичев а.с. диаграммы венна (наука, 1968)(ру)(600дпи)(т)(253с) мамл | Dec 14, 2003 | 4.1 Mb | application/octet-stream; charset=binary |
| Manin Yu.I. Lekcii po matematicheskoj logike, chast' 1 (MIE'M, 1974)(ru)(T)(135s)_MAml_.djvu манин ю.и. лекции по математической логике, часть 1 (миэм,... | Jun 22, 2005 | 1.6 Mb | application/octet-stream; charset=binary |
| Lakatos I. Dokazatel'stva i oproverzhenija.. kak dokazyvajutsja teoremy (Nauka,... лакатос и. доказательства и опровержения.. как доказываются... | Dec 13, 2004 | 1.9 Mb | application/octet-stream; charset=binary |
| Nelson E. Predicative arithmetic (Princeton, 1986)(T)(201s)_MAml_.djvu нелсон е. предицативе аритхметиц (принцетон, 1986)(т)(201с) мамл | Jul 28, 2003 | 1.1 Mb | application/octet-stream; charset=binary |
| Molt J., et al. Schaum's outline of logic (2ed.)(T)(268s).djvu молт й., ет ал. счаумьс оутлине оф логиц (2ед.)(т)(268с) | Sep 17, 2004 | 3.1 Mb | application/octet-stream; charset=binary |
| Lavrov I.A., Maksimova L.L. Zadachi po teorii mnozhestv, matematicheskoj logike i teorii... лавров и.а., максимова л.л. задачи по теории множеств,... | Dec 3, 2004 | 1.7 Mb | application/octet-stream; charset=binary |
| Marchenkov S.S. Zamknutye klassy bulevyx funkcij (FML, 2000)(ru)(T)(128s)_MAml_.djvu марченков с.с. замкнутые классы булевых функций (фмл,... | Feb 5, 2005 | 2.0 Mb | application/octet-stream; charset=binary |
| Levitz K., Levitz H. Logic and boolean algebra (Barron, 1997)(T)(141s).djvu левитз к., левитз х. логиц анд боолеан алгебра (баррон, 1997)(т)(141с) | Sep 17, 2004 | 1.0 Mb | application/octet-stream; charset=binary |
| Lindon R. (_Lyndon_) Zametki po logike (Mir, 1968)(ru)(T)(128s)_MAml_.djvu линдон р. ( лындон ) заметки по логике (мир, 1968)(ру)(т)(128с) мамл | Feb 25, 2005 | 1.3 Mb | application/octet-stream; charset=binary |
| Popper K. New foundations for logic (Mind, 1947)(T)(44s).djvu поппер к. неш фоундатионс фор логиц (минд, 1947)(т)(44с) | Sep 17, 2004 | 0.5 Mb | application/octet-stream; charset=binary |
| Lukasevich Ya. (_Lukasiewicz J._) Aristotelevskaya sillogistika s tochki zreniya sovremennoj... лукасевич я. ( лукасиешицз й. ) аристотелевская силлогистика с... | Dec 3, 2003 | 6.4 Mb | application/octet-stream; charset=binary |
| Makkai M. Fibrational formulation of intuitionistic predicate logic 1, part 1 (Notre Dame... маккаи м. фибратионал формулатион оф интуитионистиц предицате... | Jun 22, 2005 | 0.6 Mb | application/octet-stream; charset=binary |
| Makkai M. Fibrational formulation of intuitionistic predicate logic 1, part 2 (Notre Dame... маккаи м. фибратионал формулатион оф интуитионистиц предицате... | Jun 22, 2005 | 0.3 Mb | application/octet-stream; charset=binary |
| Markov A.A. E'lementy matematicheskoj logiki (MGU,1984)(ru)(T)(80s)_MAml_.djvu марков а.а. элементы математической логики (мгу,1984)(ру)(т)(80с) мамл | Feb 5, 2005 | 0.9 Mb | application/octet-stream; charset=binary |
| Martin-Lef P. Ocherki po konstruktivnoj matematike (Mir 1975)(ru)(L)(T)(68s)_MAml_.djvu мартин-леф п. очерки по конструктивной математике (мир... | Feb 5, 2005 | 1.1 Mb | application/octet-stream; charset=binary |
| Medvedev F.A. Rannyaya istoriya aksiomy vybora (Nauka, 1982)(ru)(T)(305s)_MAml_.djvu медведев ф.а. ранняя история аксиомы выбора (наука, 1982)(ру)(т)(305с)... | Jun 22, 2005 | 3.6 Mb | application/octet-stream; charset=binary |
| Mel'nikov G.P. Azbuka matematicheskoj logiki (Znanie, 1967)(T)(104s)(ru)(K).djvu мельников г.п. азбука математической логики (знание,... | Dec 13, 2004 | 1.8 Mb | application/octet-stream; charset=binary |
| Mel'nikov G.P. Azbuka matematicheskoj logiki (Znanie,1967)(ru)(L)(T)(53s)_MAml_.djvu мельников г.п. азбука математической логики... | Feb 5, 2005 | 2.0 Mb | application/octet-stream; charset=binary |
| Mendel'son E'. Vvedenie v matematicheskuju logiku (Nauka, 1971)(ru)(L)(T)(161s).djvu мендельсон э. введение в математическую логику (наука,... | Sep 17, 2004 | 3.7 Mb | application/octet-stream; charset=binary |
| Metakides G., Neroud A. Principy logiki i logicheskogo programmirovanija(Faktorial,... метакидес г., нероуд а. принципы логики и логического... | Jun 22, 2005 | 3.9 Mb | application/octet-stream; charset=binary |
| Molodshij V.N. Ocherki po voprosam obosnovanija matematiki. Posobie dlja uchitelej... молодший в.н. очерки по вопросам обоснования математики.... | Feb 5, 2005 | 3.6 Mb | application/octet-stream; charset=binary |
| Molodshij V.N. Ocherki po voprosam osnovanija matematiki (Uchpedgiz, 1958)(T)(230s)(ru)(K).djvu молодший в.н. очерки по вопросам основания математики (учпедгиз,... | Dec 13, 2004 | 2.7 Mb | application/octet-stream; charset=binary |
| Rakitov A.I. Kurs lekcij po logike nauki (VSh,1971)(ru)(L)(T)(89s)_MAml_.djvu ракитов а.и. курс лекций по логике науки (вш,1971)(ру)(л)(т)(89с) мамл | Feb 5, 2005 | 1.8 Mb | application/octet-stream; charset=binary |
| Nikitin V.V. Sbornik logicheskix uprazhnenij (Prosveshchenie 1970)(T)(96s)(ru)(K).djvu никитин в.в. сборник логических упражнений (просвешчение... | Dec 13, 2004 | 1.2 Mb | application/octet-stream; charset=binary |
| Robinson A. Complete theories (2ed, NH, 1977)(ISBN 0720406900)(L)(T)(69s)_MAml_.djvu робинсон а. цомплете тхеориес (2ед, нх, 1977)(исбн 0720406900)(л)(т)(69с) мамл | Jan 16, 2005 | 1.3 Mb | application/octet-stream; charset=binary |
| Nikitin V.V. Sbornik logicheskix uravnenij (Prosveshchenie 1970)(T)(96s)(ru)(K).djvu никитин в.в. сборник логических уравнений (просвешчение... | Dec 13, 2004 | 1.2 Mb | application/octet-stream; charset=binary |
| Shapiro S.I. Ot algoritmov k suzhdenijam (Sovetskoe radio, 1973)(T)(288s)(ru)(K).djvu шапиро с.и. от алгоритмов к суждениям (советское радио,... | Dec 13, 2004 | 2.9 Mb | application/octet-stream; charset=binary |
| Nikol'skaja I.L. Matematicheskaja logika (VSh, 1981)(T)(128s)(ru)(K).djvu никольская и.л. математическая логика (вш, 1981)(т)(128с)(ру)(к) | Dec 13, 2004 | 1.2 Mb | application/octet-stream; charset=binary |
| Shapiro S.I. Ot algoritmov k suzhdeniyam (1973)(ru)(L)(T)(145s)_MAml_.djvu шапиро с.и. от алгоритмов к суждениям (1973)(ру)(л)(т)(145с) мамл | Feb 5, 2005 | 3.4 Mb | application/octet-stream; charset=binary |
| Nikol'skaja I.L. Matematicheskaja logika (VSh,1981)(ru)(L)(T)(65s)_MAml_.djvu никольская и.л. математическая логика (вш,1981)(ру)(л)(т)(65с) мамл | Feb 5, 2005 | 1.4 Mb | application/octet-stream; charset=binary |
| Pesic P. Abel's proof.. souces and meaning of mathematical unsolvability (MIT, 2003)(T)(222s).djvu песиц п. абельс прооф.. соуцес анд меанинг оф математическийал... | Sep 17, 2004 | 1.6 Mb | application/octet-stream; charset=binary |
| Nolt J., Rohatyn D., Varzi A. Schaum's Outline of Logic (Schaum,1998)(ISBN... нолт й., рохатын д., варзи а. счаумьс оутлине оф логиц... | Dec 26, 2003 | 3.7 Mb | application/octet-stream; charset=binary |
| Poincare H. Les mathematiques et la logique(fr)(T)(54s)_MAml_.djvu поинцаре х. лес матхематиqуес ет ла логиqуе(фр)(т)(54с) мамл | Nov 4, 2003 | 0.4 Mb | application/octet-stream; charset=binary |
| Novikov P.S. E'lementy matematicheskoj logiki(Nauka, 1973)(600dpi)(ru)(KA)(T)(400s)_MAml_.djvu новиков п.с. элементы математической логики(наука,... | Oct 25, 2003 | 7.9 Mb | application/octet-stream; charset=binary |
| Peretyat'kin M.G. Konechno aksiomatiziruemye teorii (Novosibirsk, 1997)(ru)(T)(327s).djvu перетятькин м.г. конечно аксиоматизируемые теории (новосибирск,... | Sep 17, 2004 | 2.8 Mb | application/octet-stream; charset=binary |
| Novikov P.S. Konstruktivnaja matematicheskaja logika s tochki zrenija klassicheskoj... новиков п.с. конструктивная математическая логика с точки... | Dec 13, 2004 | 5.1 Mb | application/octet-stream; charset=binary |
| Tarsky A. Undecidable theories (1971)(400dpi)(T)(105s)_MAml_.djvu тарскы а. ундецидабле тхеориес (1971)(400дпи)(т)(105с) мамл | Feb 9, 2005 | 6.1 Mb | application/octet-stream; charset=binary |
| Takeuti G. Teorija dokazatel'stv (ru)(L)(T)(207s).djvu такеути г. теория доказательств (ру)(л)(т)(207с) | Dec 14, 2004 | 4.4 Mb | application/octet-stream; charset=binary |
| Odifreddi P. Classical recursion theory.. the theory of functions and sets of natural numbers... одифредди п. цлассицал рецурсион теория.. тхе теория оф... | Jun 22, 2005 | 8.0 Mb | application/octet-stream; charset=binary |
| Popov A.I. Vvedenie v matematicheskuju logiku (LGU,1959)(ru)(L)(T)(55s)_MAml_.djvu попов а.и. введение в математическую логику (лгу,1959)(ру)(л)(т)(55с)... | Feb 5, 2005 | 1.5 Mb | application/octet-stream; charset=binary |
| Penzov Ju.E. E'lementy matematicheskoj logiki i teorii mnozhestv (Saratov,... пензов ю.е. элементы математической логики и теории множеств... | Dec 13, 2004 | 1.6 Mb | application/octet-stream; charset=binary |
| Peter R. Igra s beskonechnost'ju (Prosveshchenie, 1967)(T)(271s)(ru)(K).djvu петер р. игра с бесконечностью (просвешчение, 1967)(т)(271с)(ру)(к) | Dec 13, 2004 | 2.4 Mb | application/octet-stream; charset=binary |
| Penzov Ju.E. E'lementy matematicheskoj logiki i teorii mnozhestv... пензов ю.е. элементы математической логики и теории множеств... | Feb 5, 2005 | 2.4 Mb | application/octet-stream; charset=binary |
| Rips L.J. Psychology of proof and deductive reasoning in human thinking (T)(447s).djvu рипс л.й. псычологы оф прооф анд дедуцтиве реасонинг ин хуман... | Sep 25, 2004 | 3.6 Mb | application/octet-stream; charset=binary |
| Penzov U.E. E'lementy matematicheskoj logiki i teorii mnozhestv (1968)(T)(143s)(ru)(K).djvu пензов у.е. элементы математической логики и теории множеств... | Dec 13, 2004 | 1.6 Mb | application/octet-stream; charset=binary |
| Rakitov A.I. Kurs lekcij po logike nauki (VSh, 1971)(T)(176s)(ru)(K).djvu ракитов а.и. курс лекций по логике науки (вш, 1971)(т)(176с)(ру)(к) | Dec 13, 2004 | 1.4 Mb | application/octet-stream; charset=binary |
| Pinus A.G. Uslovnye termy i ih primenenie v algebre i teorii vychislenij (NGTU,... пинус а.г. условные термы и их применение в алгебре и теории... | Mar 1, 2005 | 2.3 Mb | application/octet-stream; charset=binary |
| Plotkin B.I. Universal'naja algebra, algebraicheskaya logika i bazy dannyh (Nauka,... плоткин б.и. универсальная алгебра, алгебраическая логика и... | Apr 26, 2003 | 9.2 Mb | application/octet-stream; charset=binary |
| Popov A.I. Vvedenie v matematicheskuju logiku (Izdatel'stvo Leningradskogo universiteta imeni... попов а.и. введение в математическую логику (издательство... | Dec 13, 2004 | 1.4 Mb | application/octet-stream; charset=binary |
| Popovich M.V., Krymskij S.B., Ishmuratov A.T., i dr. Dokazatel'stvo i ponimanie (Naukova dumka,... попович м.в., крымский с.б., ишмуратов а.т., и др. доказательство и... | Dec 13, 2004 | 2.7 Mb | application/octet-stream; charset=binary |
| Popovich i dr. (red.) Dokazatel'stvo i ponimanie (Institut filosofii AN SSSR, Kiev,... попович и др. (ред.) доказательство и понимание (институт... | Feb 5, 2005 | 3.3 Mb | application/octet-stream; charset=binary |
| Raseva E., Sikorskij R. (_Rasiowa,Sikorski_) Matematika metamatematiki (Nauka,... расева е., сикорский р. ( расиоша,сикорски ) математика... | Jun 22, 2005 | 7.0 Mb | application/octet-stream; charset=binary |
| Robinson A. Vvedenie v teoriju modelej i metamatematiku algebry... робинсон а. введение в теорию моделей и метаматематику алгебры... | Feb 5, 2005 | 3.1 Mb | application/octet-stream; charset=binary |
| Robinson A. Vvedenie v teoriju modelej i metamatematiku algebry (Nauka,1967)(ru)(T)(189s)_MAml_.djvu робинсон а. введение в теорию моделей и метаматематику алгебры... | Feb 5, 2005 | 3.1 Mb | application/octet-stream; charset=binary |
| Saks Dzh.E. (_G.E.Sacks_) Teoriya nasyshchennyx modelej (Mir,1976)(ru)(T)(192s)_MAml_.djvu сакс дж.е. ( г.е.сацкс ) теория насышченных моделей... | Feb 5, 2005 | 2.2 Mb | application/octet-stream; charset=binary |
| Sbornik zadach po matematicheskoj logike i algebre mnozhestv (2-e izdanie, 1969)(T)(91s)(ru)(K).djvu сборник задач по математической логике и алгебре множеств (2-е... | Dec 13, 2004 | 0.8 Mb | application/octet-stream; charset=binary |
| Serebrjannikov O.F. E'vristicheskie principy i logicheskie ischislenija (Nauka,... серебрянников о.ф. эвристические принципы и логические... | Dec 13, 2004 | 2.3 Mb | application/octet-stream; charset=binary |
| Serebryannikov O.F. E'vristicheskie principy i logicheskie ischisleniya... серебрянников о.ф. эвристические принципы и логические... | Feb 5, 2005 | 2.5 Mb | application/octet-stream; charset=binary |
| Shenfild Dzh. (_J.R.Schoenfield_) Stepeni nerazreshimosti (Nauka, 1977)(ru)(T)(192s)_MAml_.djvu шенфилд дж. ( й.р.счоенфиелд ) степени неразрешимости (наука,... | Jan 9, 2005 | 2.5 Mb | application/octet-stream; charset=binary |
| Shenfild Dzh. (_J.Shoenfield_) Matematicheskaja logika (Nauka, 1975)(ru)(L)(T)(265s)_MAml_.djvu шенфилд дж. ( й.шоенфиелд ) математическая логика (наука,... | Feb 5, 2005 | 5.1 Mb | application/octet-stream; charset=binary |
| Shenfild Dzh. (_J.Shoenfield_) Matematicheskaja logika (Nauka, 1975)(ru)(T)(265s)_MAml_.djvu шенфилд дж. ( й.шоенфиелд ) математическая логика (наука,... | Feb 5, 2005 | 5.1 Mb | application/octet-stream; charset=binary |
| Shrejder Yu.A. Ravenstvo, sxodstvo, poryadok (Nauka, 1971)(ru)(KA)(T)(257s)_MAml_.djvu шрейдер ю.а. равенство, сходство, порядок (наука, 1971)(ру)(ка)(т)(257с)... | Jan 23, 2002 | 2.8 Mb | application/octet-stream; charset=binary |
| Sikorskij R. Bulevy algebry(Mir, 1969)(ru)(KA)(600dpi)(T)(376s)_MAml_.djvu сикорский р. булевы алгебры(мир, 1969)(ру)(ка)(600дпи)(т)(376с) мамл | Feb 17, 2004 | 5.8 Mb | application/octet-stream; charset=binary |
| Slupeckij E., Borkovskij L. E'lementy matematicheskoj logiki i teorija mnozhestv (Progress,... слупецкий е., борковский л. элементы математической логики и... | Dec 13, 2004 | 2.4 Mb | application/octet-stream; charset=binary |
| Slupeckij E., Borkovskij L. E'lementy matematicheskoj logiki i teoriya mnozhestv... слупецкий е., борковский л. элементы математической логики и... | Feb 5, 2005 | 3.2 Mb | application/octet-stream; charset=binary |
| Slupetskij E., Borkovskij L. E'lementy matematicheskoj logiki i teorija mnozhestv (Progress,... слупетский е., борковский л. элементы математической логики и... | Dec 13, 2004 | 2.4 Mb | application/octet-stream; charset=binary |
| Smallian R. Teorija formal'nyh sistem (Nauka, 1981)(ru)(L)(T)(104s).djvu смаллиан р. теория формальных систем (наука, 1981)(ру)(л)(т)(104с) | Dec 13, 2004 | 3.4 Mb | application/octet-stream; charset=binary |
| Smith P. An Introduction to Godel's Theorems (Web draft, 2006)(600dpi)(T)(353s)_MAml_.djvu смитх п. ан интродуцтион то годельс тхеоремс (шеб драфт,... | Dec 12, 2006 | 2.9 Mb | application/octet-stream; charset=binary |
| Smith P. An introduction to Goedel's theorems (web draft, 2006)(130s)_MAml_.pdf смитх п. ан интродуцтион то гоедельс тхеоремс (шеб драфт, 2006)(130с)... | Mar 26, 2006 | 0.7 Mb | application/pdf; charset=binary |
| Smullyan R. Godel's incompleteness theorems (Oxford, 1992)(600dpi)(T)(151s)_MAml_.djvu смуллян р. годельс инцомплетенесс тхеоремс (охфорд,... | Jun 29, 2004 | 4.9 Mb | application/octet-stream; charset=binary |
| Smullyan R. Recursion theory for metamathematics (Oxford, 1993)(600dpi)(T)(175s)_MAml_.djvu смуллян р. рецурсион теория фор метаматематическийс (охфорд,... | Feb 6, 2002 | 4.8 Mb | application/octet-stream; charset=binary |
| Steen S.W.P. Mathematical logic with special reference to natural numbers (CUP,... стеен с.ш.п. математическийал логиц шитх специал референце то... | Sep 25, 2004 | 5.4 Mb | application/octet-stream; charset=binary |
| Stenlund S. Combinators,lambda-terms and proof theory(1972)(T)(187s)(600dpi)_MAml_.djvu стенлунд с. цомбинаторс,ламбда-термс анд прооф... | Dec 27, 2005 | 1.5 Mb | application/octet-stream; charset=binary |
| Stjazhkin N.I. Formirovanie matematicheskoj logiki (Nauka, 1967)(T)(508s)(ru)(K).djvu стяжкин н.и. формирование математической логики (наука,... | Dec 14, 2004 | 5.8 Mb | application/octet-stream; charset=binary |
| Stoljar A.A. Logicheskie problemy prepodavanija matematiki (VSh, 1965)(T)(255s)(ru)(K).djvu столяр а.а. логические проблемы преподавания математики (вш,... | Dec 14, 2004 | 2.7 Mb | application/octet-stream; charset=binary |
| Stoljar A.A. Logicheskoe vvedenie v matematiku (VSh, 1971)(T)(224s)(ru)(K).djvu столяр а.а. логическое введение в математику (вш, 1971)(т)(224с)(ру)(к) | Dec 14, 2004 | 1.5 Mb | application/octet-stream; charset=binary |
| Stoll R.R. Mnozhestva. Logika. Aksiomaticheskie teorii (Prosveshchenie,... столл р.р. множества. логика. аксиоматические теории... | Mar 6, 2006 | 4.3 Mb | application/octet-stream; charset=binary |
| Styazhkin N.I. Formirovanie matematicheskoj logiki (Nauka,1967)(ru)(L)(T)(255s)_MAml_.djvu стяжкин н.и. формирование математической логики... | Feb 5, 2005 | 7.2 Mb | application/octet-stream; charset=binary |
| Tavanec P.V. (red.) Filosofskie voprosy sovremennoj formal'noj logiki (1962)(T)(365s)(ru)(K).djvu таванец п.в. (ред.) философские вопросы современной формальной... | Dec 14, 2004 | 5.7 Mb | application/octet-stream; charset=binary |
| Tarskij A. Vvedenie v logiku i metodologiju deduktivnyh nauk (IL, 1948)(ru)(L)(T)(163s).djvu тарский а. введение в логику и методологию дедуктивных наук (ил,... | Dec 14, 2004 | 5.8 Mb | application/octet-stream; charset=binary |
| Zinov'ev A.A. Logicheskaja fizika (Nauka, 1972)(ru)(T)(194s).djvu зиновьев а.а. логическая физика (наука, 1972)(ру)(т)(194с) | Oct 29, 2004 | 1.6 Mb | application/octet-stream; charset=binary |
| Tavanec P.V. (red.) Filosofskie voprosy sovremennoj formal'noj logiki (Institut filosofii AN... таванец п.в. (ред.) философские вопросы современной формальной... | Feb 5, 2005 | 6.2 Mb | application/octet-stream; charset=binary |
| Tavanec P.V. (red.) Problemy logiki (Institut filosofii AN SSSR, 1963)(ru)(L)(T)(77s)_MAml_.djvu таванец п.в. (ред.) проблемы логики (институт философии ан ссср,... | Feb 5, 2005 | 1.5 Mb | application/octet-stream; charset=binary |
| Tavanec P.V. (red.) Problemy logiki (Institut filosofii AN SSSR, 1963)(ru)(T)(77s)_MAml_.djvu таванец п.в. (ред.) проблемы логики (институт философии ан ссср,... | Feb 5, 2005 | 1.5 Mb | application/octet-stream; charset=binary |
| Tavanec P.V., i dr. Filosofskie voprosy sovremennoj formal'noj logiki (1962)(T)(365s)(ru)(K).djvu таванец п.в., и др. философские вопросы современной формальной... | Dec 14, 2004 | 5.7 Mb | application/octet-stream; charset=binary |
| Tourlakis G. Lectures in logic and set theory. Vol.1. Mathematical logic (CUP,... тоурлакис г. лецтурес ин логиц анд сет теория. вол.1.... | Mar 7, 2003 | 2.5 Mb | application/octet-stream; charset=binary |
| Tourlakis G. Lectures in logic and set theory. Vol.2. Set theory (CUP,... тоурлакис г. лецтурес ин логиц анд сет теория. вол.2. сет теория... | Mar 22, 2004 | 4.1 Mb | application/octet-stream; charset=binary |
| Turchin V.F. A constructive interpretation of the full set theory (J.Symb.Logic 52,... турчин в.ф. а цонструцтиве интерпретатион оф тхе фулл сет теория... | Sep 25, 2004 | 0.4 Mb | application/octet-stream; charset=binary |
| Ursini A., Agliano P. Logic and algebra(M.Dekker, 1996)(600dpi)(T)(707s)_MAml_.djvu урсини а., аглиано п. логиц анд алгебра(м.деккер, 1996)(600дпи)(т)(707с)... | Nov 19, 2005 | 5.0 Mb | application/octet-stream; charset=binary |
| Uspenskij V.A. Lekcii o vychislimyx funkcijax (FML,1960)(ru)(T)(491s)_MAml_.djvu успенский в.а. лекции о вычислимых функциях (фмл,1960)(ру)(т)(491с) мамл | Feb 5, 2005 | 5.6 Mb | application/octet-stream; charset=binary |
| Vinokurov, Peryazev (red.). Izbrannye voprosy teorii bulevyh funkcij (FML,2001)(ru)(T)(192s).djvu винокуров, перязев (ред.). избранные вопросы теории булевых... | Feb 5, 2005 | 1.9 Mb | application/octet-stream; charset=binary |
| Vladimirov D.A. Bulevy algebry (Nauka, 1969)(ru)(K)(600dpi)(T)(319s)_MAml_.djvu владимиров д.а. булевы алгебры (наука, 1969)(ру)(к)(600дпи)(т)(319с) мамл | Jul 28, 2005 | 3.3 Mb | application/octet-stream; charset=binary |
| Wolter F., Wansing H., de Rijke M., Zakharyaschev M. (eds.) Advances in modal logic, vol.3 (WS,... шолтер ф., шансинг х., де рийке м., закхарясчев м. (едс.) адванцес ин... | Sep 25, 2004 | 2.7 Mb | application/octet-stream; charset=binary |
| Xarin N.N. Matematicheskaja logika i teorija mnozhestv (1963)(ru)(L)(T)(97s)_MAml_.djvu харин н.н. математическая логика и теория множеств... | Feb 5, 2005 | 2.7 Mb | application/octet-stream; charset=binary |
| Xarin N.N. Matematicheskaja logika i teorija mnozhestv (Rosvuzizdat, 1963)(T)(192s)(ru)(K).djvu харин н.н. математическая логика и теория множеств (росвузиздат,... | Dec 14, 2004 | 2.4 Mb | application/octet-stream; charset=binary |