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