| Abramsky, Gabbay, Maibaum. Handbook of logic in computer science. Vol.5 (OUP, 2000)(ISBN 0198537816)(T)(555s)_MAml_.djvu | 2763764 | 2016-11-19 17:00:49 +00:00 | FQ67M2H4CNAU44QPYJCFCWQUICI3HJQ743FPXCQ | 3.8 | |
| Ackermann W. Solvable cases of the decision problem (NH, 1962)(ASIN B0007J8WZE)(T)(118s)_MAml_.djvu | 745914 | 2016-10-11 07:43:50 +00:00 | ZBFWOAYZCSQIP7YSEKXESDVIZ56DDEXSZAMV55Q | 7.6 | |
| Andrews P.B. A transfinite type theory with type variables (NH, 1965)(ASIN B000V28EA0)(T)(154s)_MAml_.djvu | 776645 | 2016-10-11 07:43:50 +00:00 | 3XVAPSRU5QBIJ3QO5FMN55U2CDEMYHN6LDAHBHQ | 7.6 | |
| Ash C.J., Knight J. Computable structures and the hyperarithmetical hierarchy (Elsevier, 2000)(ISBN 0444500723)(T)(363s)_MAml_.djvu | 2155247 | 2016-10-27 13:26:52 +00:00 | NONCRLLIVXF7DUT37DV2RYWWBMGGDBB5GVQVGHI | 6.7 | |
| Barwise J. (ed.) Handbook of mathematical logic(NH, 1977)(600dpi)(KA)(T)(1177s)_MAml_.djvu | 9178271 | 2016-11-28 02:28:49 +00:00 | PYLKWB67VPYNXBB5EO2M6RM3B7K47CUQR3T7R7A | | |
| Belnap N., Stil T. (_Belnap,Steel_) Logika voprosov i otvetov (Progress, 1981)(ru)(600dpi)(T)(288s)_MAml_.djvu | 7036002 | 2016-11-14 06:58:19 +00:00 | N7P4T6IYBU5N6I2KWYQTCJ7GNCS7G2TL2OE4ECQ | | |
| Belov Yu.A. E#lementy teorii mnozhestv i matematicheskoj logiki (Yaroslavl#, 2002)(ru)(60s)_MAml_.pdf | 413529 | 2016-10-10 17:31:48 +00:00 | 4LG4T66S5BUTFEUQZ6DRMKIVNKTJXZUBVKGXXSY | 8.3 | |
| Ben-Ari M. Mathematical logic for computer science(2ed., Springer, 2001)(ISBN 1852333197)(K)(T)(309s)_MAml_.djvu | 2516916 | 2016-11-16 04:55:19 +00:00 | NKXZ7Y5LRAACNIOJBDPWGSMQY3442QN6PGGTYWA | 6.7 | |
| Benacerraf P., Putnam H. (eds.) Philosophy of mathematics. Selected readings (2ed., CUP, 1983)(ISBN 052129648X)(K)(T)(O)(606s)_MAml_.djvu | 5813167 | 2016-10-11 08:44:49 +00:00 | AMREMQAJWQYMBIM2D6OAN5UGOB2OPCLSEUZKTUA | 9.0 | |
| Bilaniuk_S._A_Problem_Course_in_Mathematical_Logic_(vol._1)_(1999)(version_1.5)(en)(89s).pdf | 432156 | 2016-10-10 17:31:48 +00:00 | MARJTME2AH2ATRSPUDZJ6QFUZYHOACDIHFRMGYI | 8.3 | |
| Bilaniuk_S._A_Problem_Course_in_Mathematical_Logic_(vol._2)_(1997)(version_1.3)(en)(83s).pdf | 416543 | 2016-11-10 00:51:00 +00:00 | K4ETLZ3ZLAZ6BATQ73KOC2TXG73GIQDTFNBPNPY | 6.7 | |
| Bochvar D.A., Grishin V.N. (red.) Issledovaniya po teorii mnozhestv i neklassicheskim logikam (Nauka, 1976)(ru)(K)(600dpi)(T)(329s)_MAml_.djvu | 5657918 | 2016-11-04 02:43:05 +00:00 | 2X5CTOWPB5OLXJHCNGWMJA6NDKY7UHJ5VFCSYNI | 6.7 | |
| Boerger E. Computability, complexity, logic (NH, 1986)(ISBN 0444874062)(T)(612s)_MAml_.djvu | 3818502 | 2016-11-04 14:53:08 +00:00 | ST2KN6DULY74FH7BCYD7RYOV25L7ARHZJKFFI3I | 7.6 | |
| Boolos G., Burgess J.P., Jeffrey R.C. Computability and Logic (5ed., CUP, 2007)(ISBN 0521877520)(366s)_MAml_.pdf | 2333123 | 2016-12-06 11:08:34 +00:00 | 35TNGVI6FH4DOEE6GQRMER6UZV6B63JABUUIRAY | | |
| Boolos G., Burgess J.P., Jeffrey R.C. Computability and logic (4ed., CUP, 2002)(ISBN 0521007585)(370s)_MAml_.pdf | 1855213 | 2016-11-14 23:11:22 +00:00 | 55RS6MGXKGDOTYVDZXINJAYTQSFKEQEQQRYA7NA | 6.7 | |
| Boyer R.S., Moore J.S. A computational logic (AP, 1979)(ISBN 0121229505)(T)(440s)_MAml_.djvu | 1699964 | 2016-11-28 00:26:49 +00:00 | 4HEHRTZGMV2O7LGQRIEQX2KR7ESJO3S4IZRTG5A | | |
| Brodskij I.N. Otricatel#nye vyskazyvanija (LGU,1973)(ru)(L)(T)(53s)_MAml_.djvu | 1639515 | 2016-11-28 09:35:49 +00:00 | JC4HDEBHBYRDIH2EJA6T2Q55FEOHBLKOKBT5BRI | | |
| Bulos Dzh., Dzheffri R. (_G.S.Boolos,R.C.Jeffrey_) Vychislimost# i logika (Mir, 1994)(ru)(K)(T)(397s)_MAml_.djvu | 3996884 | 2016-11-05 22:48:29 +00:00 | VYI6UPLIPTAY2GTQVR4VNTSE5CRMZKKB75LLLMY | | |
| Buzaglo M. The logic of concept expansion (CUP, 2003)(ISBN 052180762X)(193s)_MAml_.pdf | 565698 | 2016-10-11 07:43:50 +00:00 | JQTG5VZOHVYLCOTJE5Y2TGZJBCSLYZ3JJHPAVLI | 7.6 | |
| Caicedo X., et al. (eds.) Models, algebras, and proofs (Dekker, 1999)(T)(447s)_MAml_.djvu | 4082638 | 2016-11-01 12:32:47 +00:00 | 2ANPWBJSNSKDOFKR6WXBVXXXUD4QJ6GU26IKBEQ | 6.7 | |
| Carnap R. Meaning and necessity.. A study in semantics and modal logic (U.Chicago, 1948)(K)(600dpi)(T)(217s)_MAml_.djvu | 5379642 | 2016-10-29 20:19:47 +00:00 | D2SWFD3C7WPU3JQGNWOW46YJGZPHAITHM4UXAMA | 6.7 | |
| Causey R. Logic, sets and recursion(JaB, 1994)(400dpi)(T)(440s)_MAml_.djvu | 2718855 | 2016-10-26 18:07:52 +00:00 | G5PAZJ2K5F666H255TOF56OHLJMH3F7IVHNK76Q | 3.8 | |
| Chagrov_A.,_Zakharyaschev_M._Modal_logic_(1997)(en)(605s).djvu | 7044873 | 2016-11-26 17:37:51 +00:00 | KK2734HH2BFBVAQAMXT3MB3IBHHGPUFHVQIXEQQ | | |
| Chen# Ch., Li R. Matematicheskaya logika i avtomaticheskoe dokazatel#stvo teorem (Nauka, 1983)(ru)(K)(T)(359s)_MAml_.djvu | 4233927 | 2016-10-13 02:25:52 +00:00 | 2DXMONWFYM2GTRZ2JDWEQAI7EW3AAWY6ZIOQWGA | 7.6 | |
| Chiswell I., Hodges W. Mathematical logic (OUP, 2007)(ISBN 0198571003)(259s)_MAml_.pdf | 1257994 | 2016-12-05 08:44:36 +00:00 | R4BSMAVM2DK6V2RQTT5AZ6O7AZJB3UID4WQ2OTY | 3.8 | |
| Chuaqui R.B. Axiomatic set theory (NH, 1981)(ISBN 0444861785)(T)(380s)_MAml_.djvu | 2198627 | 2016-11-08 17:27:07 +00:00 | ICD5FU2KDJL727TE5LPD353IEGVG4D42KN4VZHA | 7.6 | |
| Ciesielski K., Pawlikowski J. The covering property axiom, CPA.. A combinatorial core of the iterated perfect set model (CUP, 2004)(ISBN 0521839203)(198s)_MAml_.pdf | 1114455 | 2016-12-03 12:53:55 +00:00 | W55CTVGE2UCIABH2CYXHVWUQPI7ICR4ITUI5H6I | 3.8 | |
| Cleene S.C., Vesley R.E. The foundations of intuitionistic mathematics, especially in relation to recursive functions (NH, 1965)(ASIN B0006CJJ5Y)(T)(210s)_MAml_.djvu | 1670536 | 2016-11-28 02:28:49 +00:00 | 7O7NUM5NQDFGZMGGBMNNZA75YQLE7IHTJI4Y5SY | | |
| Cocchiarella N.B., Freund M.A. Modal logic.. An introduction to its syntax and semantics (OUP, 2008)(ISBN 9780195366587)(600dpi)(T)(281s)_MAml_.djvu | 2271439 | 2016-12-05 07:43:26 +00:00 | UL2KT6EOSWFGLDJ4IJS6BBXVFVQWTMYWXD5L3WA | | |
| Couturat L. The algebra of logic (Project Gutenberg, 2004)(102s)_MAml_.pdf | 491646 | 2016-10-10 17:31:48 +00:00 | IX7LDHJ37STDZNMPQYMDVNW4W5MTNW5DQAJTVLI | 8.3 | |
| Curry H. Foundations of mathematical logic (Dover, 1977)(ISBN 0486634620)(T)(417s)_MAml_.djvu | 3172135 | 2016-11-29 07:47:28 +00:00 | O5CVXVYSXNM3MCIMCZ6SVYD6WS7MK5X752CBV7I | | |
| Curry H.B. Combinatory logic (NH 1958)(ISBN 0720422086)(T)(424s)_MAml_.djvu | 3140767 | 2016-10-21 04:57:45 +00:00 | D547RLS764LOE36WG3OKIRKLBIR6TMVWDLQ7PTI | 7.6 | |
| Davis M. (ed.) The undecidable.. Basic papers on undecidable propositions, unsolvable problems and computable functions (Raven, 1965)(ISBN 0486432289)(T)(444s)_MAml_.djvu | 4532268 | 2016-12-10 18:05:39 +00:00 | QZGTFAYJJBBPJEJZDPHMXDIEVMI6C46KBMRC6NI | | |
| Devlin K. Sets, functions, and logic.. introduction to abstract mathematics (3ed., CRC, 2004)(T)(154s)_MAml_.djvu | 807916 | 2016-10-11 07:43:50 +00:00 | JJADS2WQCO47VKYJHYJFUIR3I5IXASPTFU2PLYI | 7.6 | |
| Devlin K. The axiom of constructibility.. guide for mathematician (LNM0617, Springer, 1977)(ISBN 0387085203)(T)(104s)_MAml_.djvu | 723229 | 2016-10-11 07:43:50 +00:00 | G2TZYXCPAO7ANAVYTTYOMZOA6I3MWOS2KPKVMAY | 7.6 | |
| Dodge. Sets, logic, and numbers (Prindle, 1969)(ASIN B0006BYUPY)(T)(349s)_MAml_.djvu | 1611969 | 2016-10-25 03:29:52 +00:00 | 5KEJJQ6NJTVXLC4YUEBEMKQAHYOGTMQ4FJQSF7I | 7.6 | |
| Durr K. Propositional logic of Boethius (NH, 1951)(ASIN B000IBM5O0)(T)(O)(84s)_MAml_.djvu | 448352 | 2016-10-10 17:31:48 +00:00 | DBAR5S3I6RDMYINB4XEAZ4YC6CRQVOKPEJVZFMQ | 7.6 | |
| Durr K. The propositional logic of Boethius (NH, 1951)(K)(T)(84s)_MAml_.djvu | 469508 | 2016-10-10 17:31:48 +00:00 | EKTSZSIYYCG2IWTIERS5WDHTBVK7Z4X6KC4YZ5Y | 7.6 | |
| E#ngeler E#. (_Engeler E._) Metamatematika e#lementarnoj matematiki (Mir, 1977)(ru)(600dpi)(S)(T)(128s)_MAml_.djvu | 3159438 | 2016-11-13 13:43:27 +00:00 | S7LX5ZRLDJASJZSX7QIG6D7MYWFPVMCV647KAKQ | 6.7 | |
| Ebbinghaus H.-D., Flum J., Thomas W. Mathematical logic (ISBN 0-387-90895-1)(Springer, 1984)(L)(T)(113s).djvu | 2127805 | 2016-10-13 22:43:51 +00:00 | SCAFAV4NRDIJD3T2MFRUOXIASKODJ3H6B4JWTWQ | 6.7 | |
| Egorov I.P. O matematicheskix strukturax (Znanie, 1976)(ru)(K)(600dpi)(T)(65s)_MAml_.djvu | 1426376 | 2016-10-12 23:22:52 +00:00 | TYUFEOWUSUNZ6VRNVXE772Y5RTA5YPPRU52RZ2I | 8.3 | |
| Ehrenfeucht, Marek, Srebrny. (eds.) Andrzej Mostowski and foundational studies (IOS, 2008)(ISBN 158603782X)(460s)_MAml_.pdf | 2242655 | 2016-10-31 15:11:47 +00:00 | RCSWKSZR4BQUGFEYDTE4PHTSM6GLSYFO7KQR4NQ | 7.6 | |
| Enderton H.B. A Mathematical Introduction to Logic (2nd ed., Academic Press, 2001)(T)(326s)_MAml_.djvu | 3336700 | 2016-10-28 16:53:28 +00:00 | YYCQ2KKYHXGHWAIR24ADJVU4HPLAGWG6MXRJA4I | 6.7 | |
| Enderton H.B. A mathematical introduction to logic (2ed., Harcourt, 2001)(K)(T)(326s)_MAml_.djvu | 3621557 | 2016-10-29 16:15:47 +00:00 | K2QZYK674XVNHGYFFF4L6SLBOXZLCKPAKVLXAKI | 6.7 | |
| Engesser K., Gabbay D.M., Lehmann D. (eds.) Handbook of Quantum Logic and Quantum Structures. Quantum logic (Elsevier, 2009)(ISBN 0444528695)(727s)_MAml_.pdf | 3934234 | 2016-11-02 01:45:47 +00:00 | I7GEIBNVZW2IOZXZH2MN4XTCSGHIX54AB2ZK7BQ | 7.6 | |
| Erdoes P., et al. Combinatorial set theory (NH, 1984)(ISBN 0444861572)(T)(342s)_MAml_.djvu | 2371353 | 2016-10-17 13:56:54 +00:00 | BVPL2BBJN2MXXTKY25H4IGZ5UGMGCNOXXRYBCPY | 8.3 | |
| Ershov Ju.L. Kratno normirovannye polya (Novosibirsk, 2000)(ru)(T)(340s).djvu | 3780751 | 2016-11-23 21:32:51 +00:00 | S6ULYR5CQT6PAG5V64IJC4VVKEXZE73CXPD2TBY | | |
| Ershov Yu.L. Problemy razreshimosti i konstruktivnye modeli (Nauka, 1980)(ru)(T)(K)(416s)_MAml_.djvu | 5446168 | 2016-11-20 10:15:56 +00:00 | 4MRJVBXLA6YZFSYIM4NCLDG336TOTTEEIPWCWSA | | |
| Fine K. The limits of abstraction (OUP, 2008)(ISBN 9780199246182)(600dpi)(T)(214s)_MAml_.djvu | 1234254 | 2016-11-26 19:39:51 +00:00 | Y76CQFPWMWSBU2U7WANJUU5RAPKO6BBAJCEX2BY | | |
| Fitting M.C. Fundamentals of generalized recursion theory (NH, 1981)(ISBN 0444861718)(T)(317s)_MAml_.djvu | 1789130 | 2016-12-07 11:24:31 +00:00 | 6VFL7K5I7GHCFODPW754OPDTIXAZNDKAYVIEPDI | | |
| Fitting M.C. Intuitionistic logic, model theory and forcing (NH, 1969)(ISBN 0720422566)(T)(177s)_MAml_.djvu | 948912 | 2016-10-11 07:43:50 +00:00 | YOCMC6IJY54SJC4BE5342JHR5FCC26WTX65XKAY | 7.6 | |
| Forster T. Logic, induction and sets (web draft, 2003)(T)(245s)_MAml_.djvu | 951821 | 2016-10-11 07:43:50 +00:00 | JIX4BEDPHGE7LKAK6QKYKN74U7KVCNPQOJE5LMY | 7.6 | |
| Forster T. Set theory with a universal set.. Exploring an untyped universe (OUP, 1995)(ISBN 0198514778)(T)(176s)_MAml_.djvu | 876799 | 2016-10-11 07:43:50 +00:00 | RC4UH6JHKONIDZA3A5ZCZ5OKXF7BEGMD6563ZWQ | 7.6 | |
| Fraenkel A.A., Bar-Hillel Y., Levy A. Foundations of set theory (2ed., Elsevier, 1973)(ISBN 0720422701)(T)(415s)_MAml_.djvu | 3228806 | 2016-10-10 17:31:48 +00:00 | 2C2CNOLJE2G6G36XRMYO5GQBEWNQ5KIMJD5TKQA | 6.7 | |
| Franzen T. Godel#s theorem.. an incomplete guide to its use and abuse (AK Peters, 2005)(T)(182s)_MAml_.djvu | 1005634 | 2016-10-11 07:43:51 +00:00 | TPZM3B75S5CPUAJD6INTUE2LWLJIER3IWGFK7UI | 7.6 | |
| Frejdental# X. Jazyk logiki (Nauka,1969)(ru)(L)(T)(69s)_MAml_.djvu | 1192924 | 2016-11-05 11:15:55 +00:00 | YV362GTXFHVYUCWLE4WDVRGCFLDKE3UMKUB5YEA | | |
| Futatsugi K., Nakagawa A.T., Tamai T. (eds.) CAFE.. An Industrial Strength Algebraic Formal Method (Elsevier, 2000)(ISBN 0444505563)(T)(O)(209s)_MAml_.djvu | 2001260 | 2016-10-19 09:37:52 +00:00 | J7RNUTCXUURTHVVKN2DFMGTZLALFF4KPDPMW4VQ | 7.6 | |
| Gabbay D., Guenthner F. Handbook of Philosophical Logic, Vol.1. Elements of Classical Logic (Reidel, 1983)(ISBN 9027715424)(K)(600dpi)(T)(511s)_MAml_.djvu | 6018751 | 2016-10-31 14:10:47 +00:00 | DXNSQVNMXPQRLCOCGA4IYCPUUVVXL66EKCRTEYQ | 7.6 | |
| Gabbay D., Guenthner F. Handbook of Philosophical Logic, Vol.3. Alternatives in Classical Logic (Reidel, 1986)(ISBN 9027716056)(K)(600dpi)(T)(535s)_MAml_.djvu | 7051524 | 2016-10-30 04:27:47 +00:00 | BTILGPEW3EHQR7IAUMFHSSCT4PDBVJUTXF3UK7Y | 7.6 | |
| Gabbay D., Woods J. (eds.) Handbook of the history of logic. Vol.1. Greek, indian and arabic logic (Elsevier, 2004)(ISBN 0444504664)(T)(620s)_MAml_.djvu | 5470395 | 2016-11-09 08:39:01 +00:00 | 5HOOEEE2J4YO5YSHFHZNC7QTB53E4C2N7MNAH7I | 6.7 | |
| Gabbay D.M. (ed.) What is a logical system (OUP, 2001)(ISBN 0198538596)(T)(464s)_MAml_.djvu | 2997121 | 2016-11-06 11:10:11 +00:00 | 3W3ZV4JPA5SBMB3JQQO5NJI7ELWTHVWJ4MVIGPY | 7.6 | |
| Gabbay D.M., Guenthner F. (eds.) Handbook of philosophical logic. Volume 12 (2ed., Springer, 2005)(600dpi)(T)(381s)_MAml_.djvu | 2718840 | 2016-12-09 12:15:24 +00:00 | 2QC6T54G6VUCL3EV6RQLUXY7A6PYMO5HEVO42TI | | |
| Gabbay D.M., Woods J. (eds.) Handbook of the history of logic. Vol. 2. Mediaeval and renaissance logic (Elsevier, 2008)(ISBN 9780444516251)(727s)_MAml_.pdf | 4876076 | 2016-11-29 07:47:28 +00:00 | SM7NI7L5WTCP6KCKOJ2AIO2XAFTRCNDLX7IYJKA | | |
| Gabbay D.M., Woods J. (eds.) Handbook of the history of logic. Vol. 4. British logic in the nineteenth century (Elsevier, 2008)(ISBN 9780444516107)(751s)_MAml_.pdf | 10493152 | 2016-11-24 08:43:51 +00:00 | NPVPRD3L6DEXOJVSOAMPF7YJIMTNKEJA2OE6HSA | 3.8 | |
| Gastev Yu.A. Gomomorfizmy i modeli. Logiko-algebraicheskie aspekty modelirovaniya (Nauka, 1975)(ru)(600dpi)(T)(152s)_MAml_.djvu | 1851984 | 2016-10-18 22:26:52 +00:00 | NNPMMGUXJW5LX4FMQTI4FQFEZUJLJ3XENC3ZR2I | 6.7 | |
| Gejting A. (_Hayting_) Intuicionizm (Mir 1965)(ru)(T)(202s)_MAml_.djvu | 1564865 | 2016-10-26 18:07:52 +00:00 | FAXZA3XRC2PBUX46O47ZTWFFR7OB2CVC5UOMPMA | 3.8 | |
| Genkin L. (_Henkin L._) O matematicheskoj indukcii (GIFML, 1962)(ru)(T)(K)(O)(600dpi)(36s)_MAml_.djvu | 732686 | 2016-10-11 07:43:51 +00:00 | DYRA65LPD7TMUA7O6FPEI6L5ENBA5YTKIVNAIMQ | 7.6 | |
| Gentzen G. Collected papers (NH, 1969)(ISBN 072042254X)(K)(400dpi)(T)(350s)_MAml_.djvu | 3508624 | 2016-10-29 18:17:47 +00:00 | IDRSBGO6L2BYS4GVAPTGBY4TCX2WHU75XTXC5ZI | 7.6 | |
| Giaquinto M. The search for certainty.. A philosophical account of foundations of mathematics (OUP, 2005)(ISBN 019875244X)(T)(298s)_MAml_.djvu | 1846807 | 2016-10-31 14:10:47 +00:00 | 3QQ7C46AHWYRNBNCCTCVIJG6HZRZGD4LKOEDDLQ | 7.6 | |
| Gindikin S.G. Algebra logiki v zadachax (Nauka 1972)(ru)(L)(T)(145s)_MAml_.djvu | 4682511 | 2016-10-13 11:34:54 +00:00 | IFMOEBTFFFFF7PWPW5PVT7FQNHOCMB2CTKU6JII | 3.8 | |
| Goedel K. On Formally Undecidable Propositions of Principia Mathematica and Related Systems (Dover, 1992)(ISBN 0486669807)(600dpi)(T)(79s)_MAml_.djvu | 673024 | 2016-10-11 07:43:51 +00:00 | NB3AXUZYWKCBNVFDIH5HSA5QUC74VEKKJPK3AXA | 7.6 | |
| Goodstein R.L. Recursive analysis (NH, 1961)(ASIN B0006AXLIC)(T)(141s)_MAml_.djvu | 692158 | 2016-10-11 07:43:51 +00:00 | QKCFSOTID4ABOX7BAEYSL73A6AABTEKYAWJNZQI | 7.6 | |
| Gradel E., et al. Finite model theory and its applications (Springer, 2007)(ISBN 9783540004288)(447s)_MAml_.pdf | 3380394 | 2016-12-09 07:10:34 +00:00 | DC72ZQTKDJC6VT5UUKE3LAY6LX2DWTQFQIZAHZA | | |
| Grattan-Guinness I. The search for mathematical roots, 1870-1940 (PUP, 2000)(ISBN 0691058571)(705s)_MAml_.pdf | 3515612 | 2016-11-23 03:48:50 +00:00 | DSH2SMO5XWPGY5J4AZYMAOUWZI4IUB5QTX4THZA | 3.8 | |
| Gudstejn R.L. (_Goodstein R.L._) Matematicheskaya logika (Inyazlit, 1961)(ru)(K)(600dpi)(T)(166s)_MAml_.djvu | 3861243 | 2016-10-11 02:38:54 +00:00 | T6XXP2LSNXH46WUNOWVXMDSR425TJGTZVTNT5YY | 7.6 | |
| Gudstejn R.L. (_Goodstein R.L._) Rekursivnyj matematicheskij analiz (Nauka, 1970)(ru)(T)(K)(O)(472s)_MAml_.djvu | 4255135 | 2016-11-09 16:45:05 +00:00 | ARXQOTMFPSKZ45D7PQGCUE523SI2PR3CYYDDBLI | 5.5 | |
| Gupta A., Belnap N. The revision theory of truth (Bradford books, 1993)(ISBN 0262071444)(K)(400dpi)(T)(293s)_MAml_.djvu | 3979883 | 2016-11-12 13:08:45 +00:00 | PQ7FKUCV72N6OM757MFFSYBFC6XS5AJV7DBA7EI | 6.7 | |
| Halmosh P., Givant S. Logic as algebra (Math.Assoc.Am., 1998)(ISBN 0883853272)(600dpi)(T)(149s)_MAml_.djvu | 866529 | 2016-10-11 07:43:51 +00:00 | NW5PP3PS4VKAA4GUE5HEU223ZQLIKWJTUBPG4CY | 6.7 | |
| Hamilton A.G. Logic for mathematicians (CUP, 1988)(ISBN 0521368650)(T)(S)(117s)_MAml_.djvu | 1689216 | 2016-11-18 15:38:48 +00:00 | 7VJBT2GVPDYGMG65ZAFZCZPRW2X4OFSKOYNSLUA | 5.5 | |
| Harel D., Kozen D., Tiuryn J. Dynamic logic (MIT, 2000)(ISBN 0262082896)(476s)_MAml_.pdf | 2333607 | 2016-10-13 22:43:51 +00:00 | N7RIFBJTYTKGGFHQMEAGKL3JM6RX4AEJZWVCLOQ | 6.7 | |
| Hart B., Valeriote M. (eds.) Lectures on algebraic model theory (AMS, 2002)(K)(600dpi)(T)(116s)_MAml_.djvu | 1024809 | 2016-10-11 07:43:51 +00:00 | GBZKEBVD6ACHQDQMBDYYNO32LFBEAT34RKZ2AGA | 7.6 | |
| Hedman S. A first course in logic (OUP, 2004)(452s)_MAml_.pdf | 1839601 | 2016-10-16 17:38:44 +00:00 | MWP2RDYSE5RCYCPP6FEABS3XTUK2VH3MGUSLVLQ | 8.3 | |
| Hein J. Discrete structures, logic and computability (JaB, 1995)(600dpi)(T)(949s)_MAml_.djvu | 6024164 | 2016-11-20 19:53:56 +00:00 | J3NSWQV5Z26WNPYXPPXUEKOQBY6TNU4D4WVEZTI | 3.8 | |
| Henkin L., Monk J., Tarski A., Andreka H., Nemeti I. Cylindric set algebras (LNM0883, Springer, 1981)(ISBN 0387108815)(299dpi)(T)(327s)_MAml_.djvu | 2188938 | 2016-11-30 23:25:26 +00:00 | KOBAWULXN57K3PZA6IIWZBJCDCY4U3FTYNM2CZY | | |
| Henkin L., Monk J.D., Tarski A. Cylindric algebras. Part II (NH, 1985)(ISBN 0444876790)(T)(302s)_MAml_.djvu | 2428031 | 2016-11-21 08:05:53 +00:00 | 2LS5CJLLXHR7TGOWRANO2Z2Q7KQAJG3OYRUNTRQ | 3.8 | |
| Heyting B.A. Intuitionism (NH, 1971)(ISBN 0720422396)(T)(150s)_MAml_.djvu | 1064913 | 2016-10-12 01:02:53 +00:00 | E27OS2JSQCCML6QQ42WB5L6DBB3CMYXEX5G2K6A | 7.6 | |
| Hintikka J. On Goedel (Wadsworth, 2000)(ISBN 0534575951)(K)(600dpi)(T)(82s)_MAml_.djvu | 2818501 | 2016-11-13 11:01:04 +00:00 | GBTBHBPZWJEAUCLWGOVMQOLY4GOZT3GKFBFVKHA | 3.8 | |
| Hirschfeld J., Wheeler W.H. Forcing, arithmetic, division rings (no pp.11-14,137-140)(LNM0454, Springer, 1975)(ISBN 0387071571)(T)(256s)_MAml_.djvu | 1426486 | 2016-11-27 21:24:59 +00:00 | YSXDCQZ3LMZABJFWB5HJ6BIDN6D2RCDJFNHFL4Q | | |
| Hirst H.P., Hirst J.L. A primer for logic and proof (web draft, 2004)(98s)_MAml_.pdf | 293246 | 2016-10-10 17:31:48 +00:00 | ME6XGA6GN52PNL2OOIGCOSEZG6IHWJDDFWZX4WQ | 8.3 | |
| Igoshin V. Matematicheskaya logika i teoriya algoritmov (2izd., Akademiya, 2008)(ru)(600dpi)(T)(452s)_MAml_.djvu | 4820581 | 2016-12-11 05:15:32 +00:00 | O55TPDN3SPBT67M6PQAEWJGPJGSDFSUXGVVVRAI | | |
| Igoshin V. Zadachi i uprazhneniya po matematicheskoj logike (3izd., Akademiya, 2007)(ru)(T)(305s)_MAml_.djvu | 2609060 | 2016-12-04 17:49:26 +00:00 | ZAFETL64R3MYK54JQBTP65E5FSFYTHU455B7WRQ | | |
| Kanovej V.G. Aksioma vybora i aksioma determinirovannosti (Nauka, 1984)(K)(ru)(T)(65s)_MAml_.djvu | 1062045 | 2016-11-23 13:58:50 +00:00 | UG4QAZM6WXZQTUJTNWGMLNF5IYFS2HDEEHSBFAY | | |
| Karpenko A. Lukasiewicz#s logics and prime numbers (Luniver, 2006)(ISBN 0955117038)(161s)_MAml_.pdf | 840065 | 2016-10-11 07:43:51 +00:00 | XFIOTIEOSM4AF6RHGE6O43HL363V3MDXBNJXVQY | 8.3 | |
| Kaye R. The Mathematics of Logic. A guide to completeness theorems and their applications (CUP, 2007)(ISBN 052170877X)(217s)_MAml_.pdf | 981792 | 2016-10-11 07:43:51 +00:00 | 3KPSW3HYRMWV3EAOOBPK2AMDS6KGME5RC25V6CY | 7.6 | |
| Keisler H.J. Model theory for infinitary logic (NH, 1971)(ISBN 0720422582)(T)(202s)_MAml_.djvu | 1004014 | 2016-10-11 07:43:51 +00:00 | 74XAQP5LK4YTEJUGGOEVGEAXRZ22QB5O6VRR4FA | 7.6 | |
| Kejsler G., Che'n Ch.Ch. (_Keisler H.J.,Chang C.C._) Teoriya nepreryvnyx modelej (Mir, 1971)(ru)(K)(T)(184s)_MAml_.djvu | 1921110 | 2016-12-07 08:21:31 +00:00 | SC3UV6I2A3JKXDKZGMWLREXGG6HHMCUZVHYXNVA | | |
| Klini S.K. (_Kleene S.C._) Vvedenie v metamatematiku (IL, 1957)(ru)(T)(527s)_MAml_.djvu | 7417609 | 2016-11-27 15:58:54 +00:00 | 5J54QT5JDVZXXHA4EPEFFBYTB4KB2PZ3E45YNOI | | |
| Kneebone_G.T._Mathematical_Logic_and_the_Foundation_of_Mathematics_(1963)(en)(224s).djvu | 4982750 | 2016-11-03 19:04:46 +00:00 | GCDSCOB4IPBZ46G7KIUCMUPJLNBGTJSBSOOE3WY | 3.8 | |
| Kohlenbach U. Applied proof theory.. Proof interpretations and their use in mathematics (Springer, 2008)(ISBN 3540775323)(539s)_MAml_.pdf | 4427151 | 2016-11-01 06:26:47 +00:00 | 7S5LXYLWCIIUNBPLOEQ2PRELUAYCWNWJKKGBTIA | 7.6 | |
| Kreisel G., Krivine J.L. Elements of mathematical logic (model theory) (NH, 1967)(ISBN 0720422655)(T)(227s)_MAml_.djvu | 1662166 | 2016-12-09 06:11:24 +00:00 | JJ2OB5TUCWGQNKCOBVOTFR3VU554WKX47BD6XOI | | |
| Lakatos I. (ed.) Problems in the philosophy of mathematics (Proc. London 1965, vol.1)(NH, 1967)(AIN B000LLSIE8)(T)(249s)_MAml_.djvu | 1633534 | 2016-11-10 18:31:58 +00:00 | 33B5OTZA5BCTQWQ2DE3JDL463GLZ7ZXDQN32IXA | 6.7 | |
| Lambek J., Scott P.J. Introduction to higher-order categorical logic (4pr., CUP, 1994)(ISBN 0521356539)(K)(T)(301s)_MAml_.djvu | 1383452 | 2016-10-16 19:39:48 +00:00 | BMC7PHFNGYBEC5M6SV4UZDBUHZALCVERWRYU6FA | 6.7 | |
| Levitz_K.,_Levitz_H._Logic_and_Boolean_Algebra_(1997)(en)(132s).djvu | 1007797 | 2016-10-11 07:43:51 +00:00 | MAKHCRPLN5TPVEGG7CKLLIR4H4W66K7UFXZHLUI | 6.7 | |
| Link G. (ed.) One hundred years of Russell#s paradox. Mathematics, logic, philosophy (de Gruyter, 2004)(ISBN 3110174383)(672s)_MAml_.pdf | 2328948 | 2016-10-11 16:54:50 +00:00 | 7HDF76D2L7WNR3MCMS3AJBNC2XV6HWMQNVP7MOI | 9.0 | |
| Makkai M. Fibrational formulation of intuitionistic predicate logic 1, part 1 (Notre Dame J.Formal Logic 34, p334, 1993)(600dpi)(T)(44s)_MAml_.djvu | 594753 | 2016-10-11 07:43:51 +00:00 | 2U626DLXOBPI5H44YNSWZQNBY6XYUQT4U6ORJ7A | 7.6 | |
| Makkai M. Fibrational formulation of intuitionistic predicate logic 1, part 2 (Notre Dame J.Formal Logic 34, p471, 1993)(600dpi)(T)(28s)_MAml_.djvu | 315236 | 2016-12-11 20:54:30 +00:00 | Z63I6FWZ33NHW74HYAHFYWWRZ6CIUKZASPQLWCI | | |
| Makkai_M._Fibrational_formulation_of_intuitionistic_predicate_logic_I[c]_completeness_according_to_Godel,_Kripke,_and_La[...]rt_1)_(1993)(en)(44s).djvu | 594897 | 2016-10-11 07:43:51 +00:00 | TYNK3Z6IMB6JEW4LMMFIFHUJDEFACBMPVQHSHSA | 7.6 | |
| Makkai_M._Fibrational_formulation_of_intuitionistic_predicate_logic_I[c]_completeness_according_to_Godel,_Kripke,_and_La[...]rt_2)_(1993)(en)(28s).djvu | 315378 | 2016-10-10 17:31:48 +00:00 | 7MBTBNLL6SVJUAYY3INCBTTB4J5C3SYA7HLXCFA | 7.6 | |
| Manin Yu.I. A course in mathematical logic (Springer, 1977)(ISBN 0387902430)(K)(T)(291s)_MAml_.djvu | 4580365 | 2016-11-25 14:11:50 +00:00 | HGJIFG3X2SE2XWBONZ4N7YW4S773UROTXH55VCQ | | |
| Martin-Loef P. An intuitionistic type theory (lectures, Padua, 1980, Bibliopolis, 1984)(ISBN 8870881059)(400dpi)(KA)(T)(100s)_MAml_.djvu | 484501 | 2016-10-10 17:31:48 +00:00 | FYFRN62LBNQOD53DMBZSBUDT2BNKN5LRCNC3KKI | 7.6 | |
| Mendelson E. Introduction to mathematical logic (4ed., CRC, 1997)(ISBN 0412808307)(KA)(T)(446s)_MAml_.djvu | 4392918 | 2016-11-14 22:10:22 +00:00 | BJ2EN5SCQEX4D3KY5CDOUH6PMRWNXXUONPB3JLY | 6.7 | |
| Moore G.H. Zermelo#s axiom of choice.. Its origins, development, and influence (Springer, 1982)(ISBN 0387906703)(K)(T)(425s).djvu | 4039552 | 2016-11-03 17:02:46 +00:00 | QGAAUWXWVOVH644PDH2L547VGP4NGU6KEFLWP3I | 7.6 | |
| Morse A.P. A theory of sets (1ed., AP, 1965)(ISBN 1114312681)(T)(163s)_MAml_.djvu | 778149 | 2016-10-11 07:43:51 +00:00 | TPTQVC45NPJHLJIB23HWT6EENQ7XK64LBQY32XI | 7.6 | |
| Morse A.P. A theory of sets (2ed., AP, 1986)(ISBN 0125079524)(600dpi)(T)(212s)_MAml_.djvu | 1284585 | 2016-11-30 18:20:26 +00:00 | 44C6HARGW746P75GZAMSFVMH47TEUQZ4YNP6DTI | | |
| Mostowski A. Sentences Undecidable in Formalized Arithmetic (NH, 1952)(ISBN 0720422205)(T)(120s)_MAml_.djvu | 685197 | 2016-10-11 07:43:51 +00:00 | BL5VEA2WQSXOCCHUQAD27UKKAZ3LWO775DL3ULA | 7.6 | |
| Mueller G.H. Sets and classes.. on the work of Paul Bernays (NH, 1976)(ISBN 0720422841)(T)(372s)_MAml_.djvu | 2670444 | 2016-10-20 05:35:48 +00:00 | R4NBK6DIY7CC5SKTRR5ODIVVQARO6EKNLZJCW2Q | 7.6 | |
| Nelson E. Predicative arithmetic (Princeton, 1986)(T)(201s)_MAml_.djvu | 1124730 | 2016-12-08 13:50:31 +00:00 | OVRWCKVLEX2GUYJUFAAHBKMPCX46M6EUJCWUWDA | | |
| Nolt J., Rohatyn D., Varzi A. Schaum#s Outline of Logic (Schaum,1998)(ISBN 0070466491)(T)(329s)_MAml_.djvu | 3764569 | 2016-11-17 11:50:48 +00:00 | GBGXWZWH6AX6WAKJ5DY44DPIUKTOUDY23O633RA | 6.7 | |
| Novikov P.S. E#lementy matematicheskoj logiki(Nauka, 1973)(600dpi)(ru)(KA)(T)(400s)_MAml_.djvu | 8083814 | 2016-11-18 19:42:48 +00:00 | 2BBDQILYOWYZUZ5IUMXYVOV3VCMUPCVTKLDEKSA | | |
| Odifreddi P. Classical recursion theory.. the theory of functions and sets of natural numbers (Elsevier, 1989)(T)(677s)_MAml_.djvu | 8150844 | 2016-10-10 18:30:47 +00:00 | AXKY2QT5ADFDD3LJNSJK5HSBFBH7AGF3JBITFNI | 6.7 | |
| Pagliani P., Chakraborty M. A geometry of approximation. Rough set theory.. logic, algebra and topology of conceptual patterns (Springer, 2008)(ISBN 1402086210)(768s)_MAml_.pdf | 6547569 | 2016-11-16 16:05:24 +00:00 | DUYQJLWPNPKXPLNG6FZS4WO5ESD6BAXK5R4SGLQ | 6.7 | |
| Plisko V.E. Matematicheskaya logika. Kurs lekcij (2004)(ru)(T)(86s)_MAml_.djvu | 748471 | 2016-10-11 07:43:51 +00:00 | YOEDC4DDCHRSKYKZDEQZGFVGUT55FOETTU2Q3TY | 7.6 | |
| Poincare H. Les mathematiques et la logique(fr)(T)(54s)_MAml_.djvu | 369951 | 2016-10-10 17:31:48 +00:00 | U4OHNAZWA7PQVQHTEENA3TOK3M3QH3ZUIKF7H3Q | 7.6 | |
| Popov A.I. Vvedenie v matematicheskuju logiku (LGU,1959)(ru)(L)(T)(55s)_MAml_.djvu | 1486736 | 2016-10-12 15:16:53 +00:00 | T427KFTTN36XGQG37XY3E6RHWSIKQ5SE576G3RA | 3.8 | |
| Popovich i dr. (red.) Dokazatel#stvo i ponimanie (Institut filosofii AN SSSR, Kiev, 1986)(ru)(L)(T)(157s)_MAml_.djvu | 3342698 | 2016-12-09 03:03:24 +00:00 | LZYSLRR5VANING5OUMH5ZREV2EGMT6AXR6M72UA | | |
| Popper_K._New_foundations_for_logic_(1947)(en)(44s).djvu | 550824 | 2016-10-11 07:43:51 +00:00 | E5ARHQ6IULCMXEOUR2SSJDVECZ255RXUPTVSI4Y | 6.7 | |
| Priest G. An Introduction to Non-Classical Logic.. From If to Is (2ed., CUP, 2008)(ISBN 0521854334)(647s)_MAml_.pdf | 2993546 | 2016-11-04 05:45:08 +00:00 | FIIXXUN6H7MGDVDFRYTOUTW3JFBPKXGWY4UO7CA | 7.6 | |
| Putnam H. Mathematics without foundations (J.Philosophy 64, p5, 1967)(600dpi)(T)(18s)_MAml_.djvu | 202260 | 2016-10-10 17:31:48 +00:00 | 4LOMBH7B2CAOTMDCQTHZVRNTGI7LVSKXS4TLMRI | 7.6 | |
| Quine W.V. From a logical point of view.. 9 logico-philosophical essays (2ed., Harper & Row, 1963)(T)(190s)_MAml_.djvu | 2175399 | 2016-11-11 06:42:47 +00:00 | BIMHXGZDSIRJBH7CKZFCAXXZIODHMDRXFLWIPWI | 6.7 | |
| Quine W.V. Philosophy of logic (2ed., U.Harvard, 1994)(ISBN 0674665635)(K)(T)(121s)_MAml_.djvu | 956062 | 2016-10-11 07:43:51 +00:00 | 33GC4KSKI6BMMSOWWBLT4VDS5EMYGEC7DDQFX3Y | 7.6 | |
| Quine W.V. The ways of paradox and other essays (Random House, 1966)(ISBN 0394304497)(K)(T)(269s)_MAml_.djvu | 2139653 | 2016-11-06 05:54:23 +00:00 | Z72JVT66NNJ5YDC2R6ETV5RCM2G3FXHDFYEYRQQ | 7.6 | |
| Ramsey F.R. Foundations of mathematics and other logical essays (Routledge, 1950)(ASIN B001KZV6CU)(400dpi)(T)(310s)_MAml_.djvu | 2941827 | 2016-11-08 17:27:07 +00:00 | 5MFF35UEU2PA6TKZVOVXXFST7P4T4V76PU364BQ | 5.5 | |
| Rasiowa H. An algebraic approach to non-classical logics (NH, 1974)(ISBN 0720422647)(T)(405s)_MAml_.djvu | 2565008 | 2016-11-29 09:49:38 +00:00 | 3BU5ARMG7QOIDGBTZXTSD4WFBR6SBDJ2M4W3XCQ | | |
| Rips J.L., The psychology of proof deductive reasoning in human thinking (1994).djvu | 3727706 | 2016-11-27 03:46:54 +00:00 | BHBXFGYFI24ZFJQYKK2Q7O5C2W6SLZNQFWJ7BRA | | |
| Robinson A. Introduction to model theory and to the metamathematics of algebra (NH, 1963)(ASIN B000MXHTNG)(T)(286s)_MAml_.djvu | 1926363 | 2016-10-30 07:30:47 +00:00 | T5GXGK2LPCR2BMSJRGTXT2RC5AWCX7ZCAE6GXEI | 7.6 | |
| Rosser J.B., Turquette A.R. Many-valued logics (NH, 1952)(ASIN B000OKNLUW)(T)(127s)_MAml_.djvu | 790982 | 2016-10-11 07:43:51 +00:00 | 26QHZZG2JCAAGFXFG3C5EFMLXFLIBFJVJA566IY | 7.6 | |
| Russell B. Inroduction to mathematical philosophy (2ed., Dover, 1993)(ISBN 0486277240)(T)(214s)_MAml_.djvu | 1449721 | 2016-10-16 15:40:54 +00:00 | ZJ3IXE7AYK6TCS63WFQ7UHUFXAPP5NQR5Z4RIPA | 8.3 | |
| Rvachev L.A. Matematika i semantika. Nominalizm kak interpretaciya matematiki (Naukova dumka, 1966)(ru)(K)(600dpi)(T)(81s)_MAml_.djvu | 702148 | 2016-10-11 07:43:51 +00:00 | A73LIK2IA6AXIGF5A75F2NEIRDHSTGTN6FMHNFY | 6.7 | |
| Sambin J., Smith J.M. (eds.) Twenty-five years of constructive type theory. Proceedings of a congress held in Venice, october 1995 (OUP, 1998)(ISBN 0198501277)(T)(291s)_MAml_.djvu | 2171996 | 2016-11-19 05:52:49 +00:00 | HCGR2KH3W7SNVT32TGT3AJMBXEAUG25UHPQO66Y | 3.8 | |
| Sanchis L.E. Recursive functionals (NH, 1992)(ISBN 0444894470)(600dpi)(T)(290s)_MAml_.djvu | 2445664 | 2016-10-11 02:38:54 +00:00 | WSNVOLUG2A35SC6S7CXSQSWBTAQEK3KA6IBR3KY | 9.0 | |
| Shand J. Arguing Well (Routledge, 2000)(ISBN 0415166861)(600dpi)(T)(112s)_MAml_.djvu | 565421 | 2016-10-11 07:43:51 +00:00 | PZ7VQ2MPG6AW3CTUTTG2B3XOXZK3K226SJOE74A | 7.6 | |
| Shanin N.A. O nekotoryx logicheskix problemax arifmetiki (Trudy MIAN, t.43) (AN SSSR 1955)(ru)(K)(600dpi)(T)(113s)_MAml_.djvu | 1926896 | 2016-11-12 14:09:47 +00:00 | NXTYLXHFMOXOLN3ZMFUWF3NVNNOG42342QAUQSA | | |
| Shapiro S. (ed.) Intensional mathematics (NH, 1985)(ISBN 0444876324)(K)(T)(237s)_MAml_.djvu | 1445401 | 2016-10-28 03:39:48 +00:00 | D4UWBNTLM22O4ESREBHE4KPCJQ534ZVUFKF5GDA | 7.6 | |
| Shapiro S.I. Ot algoritmov k suzhdeniyam (1973)(ru)(L)(T)(145s)_MAml_.djvu | 3532297 | 2016-10-17 02:45:54 +00:00 | FMNGJHHZLTXAMCFL7RCGOGV3SDIK67IGLRS5GQI | 3.8 | |
| Shinoda J., Slaman T.A., Tugue T. (eds.) Mathematical logic and applications. Proc.meeting, Kyoto, 1987 (LNM1388, Springer, 1989)(ISBN 3540515275)(T)(227s)_MAml_.djvu | 2113360 | 2016-11-30 08:10:35 +00:00 | VSGVAOT6A5ITFRVMTVC3MAYXVQOKKAYWEQRESJI | | |
| Shoenfield J.R. Degrees of unsolvability (NH, 1971)(ISBN 072042061X)(T)(121s)_MAml_.djvu | 613662 | 2016-10-11 07:43:51 +00:00 | K7P4NJDXWB6MUE44K3FATKA7HAO4DHVEGVZQAYY | 7.6 | |
| Shrejder Yu.A. Ravenstvo, sxodstvo, poryadok (Nauka, 1971)(ru)(KA)(T)(257s)_MAml_.djvu | 2839377 | 2016-11-13 12:42:36 +00:00 | IWKH7I32VVE2KXBTOZWJMZEQAWROS5GMSERZMBQ | | |
| Simpson_S.G._Mathematical_Logic_(2000)(en)(76s).pdf | 787945 | 2016-10-11 07:43:51 +00:00 | LHJ32ERQMX2DZAXO5RBLY4WH5DMJDFBSMALELSI | 6.7 | |
| Slupeckij E., Borkovskij L. E#lementy matematicheskoj logiki i teoriya mnozhestv (Progress,1965)(ru)(L)(T)(184s)_MAml_.djvu | 3248057 | 2016-10-17 02:45:54 +00:00 | ICIUIBQMWALE3ENKQWGGCQPB6JYPRGATUYVOANY | 5.5 | |
| Smith P. An introduction to Goedel#s theorems (web draft, 2006)(130s)_MAml_.pdf | 730057 | 2016-10-11 07:43:51 +00:00 | 3YPWEK3V7MFL7SF2YEDZSALCIOE7TJXYWNYZPSY | 8.3 | |
| Srivastava S.M. A Course on Mathematical Logic (Springer, 2008)(ISBN 0387762752)(153s)_MAml_.pdf | 911812 | 2016-10-11 07:43:51 +00:00 | U3ZATBW7XU6XGDCORUS3YNFUU4QVYX64RTDYJAY | 7.6 | |
| Steen S.W.P. Mathematical logic with special reference to natural numbers (CUP, 1972)(L)(T)(327s).djvu | 5546674 | 2016-11-30 18:20:26 +00:00 | UFDQELH6QX7TILP4U3AADNTYD7JPGRJD4BDR3BQ | | |
| Stenlund S. Combinators,lambda-terms and proof theory(1972)(T)(187s)(600dpi)_MAml_.djvu | 1512719 | 2016-10-17 11:54:44 +00:00 | VVKDSM6TJ4AAK2GXRGYPN3LSJD7ZDVWDYCYX4RY | 6.7 | |
| Szabo M.E. Algebra of proofs (NH, 1978)(ISBN 0720422868)(T)(302s)_MAml_.djvu | 1529061 | 2016-10-25 13:39:52 +00:00 | OMMEXPFAVTZYHHPS3M4GT4FOP3NL7ZGR2PPEPVQ | 7.6 | |
| Takeuti G. Proof theory (2ed., NH, 1987)(ISBN 0444879439)(T)(500s)_MAml_.djvu | 4688945 | 2016-11-11 03:39:47 +00:00 | 6LLSBTPYWSHCNTKHCRMJVLKIZPCROS7IBZUDESA | 7.6 | |
| Tarski A. Introduction to logic and to the methodology of the deductive sciences (OUP, 1994)(ISBN 019504472X)(T)(254s)_MAml_.djvu | 1785617 | 2016-11-27 14:57:54 +00:00 | CAWUOGVNUISE22UR4IWXWK7TLYHGNAWKZUURQ5I | | |
| Tarski A. Ordinal algebras (NH, 1956)(ASIN B0006EUPI2)(T)(132s)_MAml_.djvu | 734007 | 2016-10-11 07:43:51 +00:00 | JOPMG3OHANORHSECVMQVYISFSYAJHVDQYBS27ZA | 7.6 | |
| Tourlakis G. Lectures in logic and set theory. Vol.2. Set theory (CUP, 2003)(600dpi)(T)(588s)_MAml_.djvu | 4222410 | 2016-10-28 17:53:58 +00:00 | QVFDFLFFJT5JXRHXKZHEF24X5K77LCOSWULQLAY | 7.6 | |
| Turchin_V.F._A_constructive_interpretation_of_the_full_set_theory_(1987)(en)(30s).djvu | 370125 | 2016-10-10 17:31:48 +00:00 | Z7IESVZRUWKYLOJJE2W2DR7W3WVCMRX4K4PQADI | 7.6 | |
| Ugol#nikov A.B. Klassy Posta (MGU, 2008)(ru)(63s)_MAml_.pdf | 582510 | 2016-10-11 07:43:51 +00:00 | IC5ZUJBIXY2HSASNNAGO376L7EQ7L2VTNGS2Q4Y | 8.3 | |
| Ursini A., Agliano P. Logic and algebra(M.Dekker, 1996)(600dpi)(T)(707s)_MAml_.djvu | 5071564 | 2016-11-06 00:49:21 +00:00 | 5KX4WTMGA3IRF45JYST2D67XWHYZW45TGLZ6LEA | 3.8 | |
| Van Rijsbergen C.J. The geometry of information retrieval (Cambridge, 2004)(ISBN 0521838053)(163s)_MAml_.pdf | 694917 | 2016-10-11 07:43:51 +00:00 | YZ3PIBW7AXHSGMLDKKA5BGYE53HQN77FPFRWLWY | 8.3 | |
| Velleman D.J. How to prove it.. a structured approach (CUP, 2006)(ISBN 0521675995)(T)(398s)_MAml_.djvu | 2219974 | 2016-11-27 21:24:59 +00:00 | SCVAN3S4I2DP3FFQSNSITQ2J2U2NDAQNMRISCFQ | | |
| Vopenka B.P., Hajek P. The theory of semisets (NH, 1972)(ISBN 0720422671)(T)(328s)_MAml_.djvu | 2306052 | 2016-11-16 01:52:19 +00:00 | 3WAXP5R2C4YR35XGXHF3NUGSBJJXQYLD2LXSMMI | 5.5 | |
| Vopenka P. (_Vopenka_) Al#ternativnaya teoriya mnozhestv. Novyj vzglyad na beskonechnost# (Novosibirsk,2004)(ISBN 5861341249)(ru)(K)(600dpi)(T)(613s)_MAml_.djvu | 5518905 | 2016-11-13 05:56:55 +00:00 | U2I2POUHFOWWG24LKTRV6TYLBFCN4NXS6VMTZIQ | 3.8 | |
| Vopenka P. (_Vopenka_) Matematika v al#ternativnoj teorii mnozhestv (NZN31, Mir, 1983)(ru)(K)(T)(151s)_MAml_.djvu | 1512951 | 2016-11-18 14:37:48 +00:00 | HTOYGHRB3SLBDKIFX3CZSVA3OIDNAYRSZHITLMA | | |
| Wagon S. The Banach-Tarski paradox (CUP, 1993)(ISBN 0521457041)(400dpi)(T)(272s)_MAml_.djvu | 3855092 | 2016-10-22 22:38:52 +00:00 | NEP62JF7427FRCN5GLZFKYDJXNI74HOEP4NB6TQ | 6.7 | |
| Wansing H. (ed.) Essays on non-classical logic (WS, 2001)(ISBN 9810247354)(T)(275s)_MAml_.djvu | 1700074 | 2016-11-21 09:06:53 +00:00 | YSAKHVZIY64CYIL2E2OZ53A3YKWR6KPP7M2B6EQ | 3.8 | |
| Whitehead A.N., Russell B. Principia mathematica, vol.2 (2ed., CUP, 1927)(KA)(ISBN 052106791X)(T)(768s)_MAml_.djvu | 5216058 | 2016-11-03 09:55:46 +00:00 | WRLCWHRPBPMLORAGRIXO5XJ4JEHZ5IZEWE5YEUQ | 7.6 | |
| Whitehead A.N., Russell B. Principia mathematica, vol.3 (2ed., CUP, 1927)(KA)(ISBN 052106791X)(T)(496s)_MAml_.djvu | 3702003 | 2016-10-18 20:24:52 +00:00 | GPQCOIZWLSNS3ICNLDOUOU2ARF2RGURMKLQN2LA | 5.5 | |
| Wittgenstein L. Lectures on the foundations of mathematics (Harvester, 1976)(ISBN 085527039X)(T)(296s)_MAml_.djvu | 2217026 | 2016-11-06 11:10:11 +00:00 | WLGYN5VLRXFYXNGYP3FGAIP2DEGGYCEW6CDHENQ | 6.7 | |
| Yaqub A.M. The liar speaks the truth.. A defense of the revision theory of truth (OUP, 1993)(ISBN 0195083431)(T)(163s)_MAml_.djvu | 1006858 | 2016-10-20 16:45:45 +00:00 | UCD7GKP2HE54YZVCCEOZTT4JRVABMBOQVVUJZMI | 5.5 | |
| Yasugi M., Passell N. Memoirs of a proof theorist.. Goedel and other logicians (WS, 2003)(ISBN 9812382798)(T)(155s)_MAml_.djvu | 912400 | 2016-10-11 07:43:51 +00:00 | S6FMWSRE7V5WCZHN6DIAPGJCW3QB2JFPYVJW2MQ | 6.7 | |
| van Dalen D. Logic and structure (Springer, 2004)(ISBN 3540208798)(275s)_MAml_.pdf | 1901020 | 2016-11-10 18:08:10 +00:00 | U7Q3XGPL7GJ75VELI2I7A473JFYHECVN57XZDKI | 6.7 | |
| АйзерманМ_ЛогикаАвтоматыАлгоритмы_1963_Физмаилит_279с.djvu | 6750027 | 2016-11-09 02:34:00 +00:00 | DEEVBDDUXXZ6RTAAROPXEPO3H5SU6AHM5YPUZEQ | | |
| Беркли Э., Символическая логика и разумные машины 1961.djvu | 2078060 | 2016-12-10 18:05:39 +00:00 | HUEU4FGCPKGPRBLBLDNASX4QCXUBVUBNBZINBKI | | |
| Булос Дж., Джеффри Р., Вычислимость и логика (1994).djvu | 10284060 | 2016-10-19 03:31:52 +00:00 | O3AUKUHZ6SWD5I4LFDXZF2OOIU4TY45BQ7L3U4I | 3.8 | |
| Генкин_Л._-_О_математической_индукции_(1962).djvu | 2101081 | 2016-11-17 09:48:48 +00:00 | RMPWHW5R5EZ7R6BVAFPVQHH76WTJUGU727Y6ZKA | | |
| Гилберт Д., Бернайс П. - Основания математики_Т1_ЛогическиеИсчисленияИФормализацияАрифметики_1979_Наука_557с.djvu | 6081370 | 2016-10-15 09:16:52 +00:00 | LUKXSP7OZFJBYNAGW5P65YXCQJI5JZ63M4SBSRQ | | |
| Гилберт Д., Бернайс П. - Основания математики_Т2_ТеорияДоказательств_1982_Наука_653с.djvu | 7901518 | 2016-11-01 18:38:47 +00:00 | HUXMZB6WTBLEU5RSRXENKL6GKDGRF45DIKJCAGY | | |
| Гильберт_Д.,_Бернайс_П._-_Основания_математики._Теория_доказательств_(1982).djvu | 7378348 | 2016-11-13 00:52:53 +00:00 | IEF4MPORIIVWDQWNIGU734XXQLO6INRC2LUHUJQ | | |
| Гиндикин С.Г., Алгебра логики в задачах 1972.djvu | 3371365 | 2016-11-13 03:54:55 +00:00 | SZQ4GDOESJJ3F5KTMHJIRIZQQZCQWO7OH35R76I | | |
| Гладкий_А.В._-_Математическая_логика_(1998)(S).djvu | 5065831 | 2016-10-19 14:42:49 +00:00 | VYDFRSLLDQEO6QDYREH5AXKJ4TB26SI7Q667S6Y | 5.5 | |
| Гончаров_С.С._-_Счетные_булевы_алгебры_и_разрешимость_(1996).djvu | 3744782 | 2016-11-27 18:22:45 +00:00 | HTJD2IQQ3FJEE7VNVDZB6IULS2ZDYQRYN74QOLY | | |
| Горский Д.П., Таванц П.В., Логика 1956.djvu | 3051276 | 2016-11-30 15:17:29 +00:00 | XW7TTCOB4DCY64NQ4KK4ZIJNPTWHN2GWY2DZEGY | | |
| Гохман А.В., Сборник задач по математической логике и алгебре множеств - Саратовский университет (1969) Русский.djvu | 1035730 | 2016-10-11 07:43:51 +00:00 | FL6ZKBQ5SAF5EFTHBKGX6MAMSJQJZTOUFPKTS4Y | 5.5 | |
| Гохман А.В., Спивак М.А., Розен В.В. и др., Сборник_задач_по_математической_логике_и_алгебре_множеств_(1969).djvu | 837277 | 2016-10-11 07:43:51 +00:00 | JIDW6PCH4OEI7DDB2ABISURWVKN2PH3MT5LBWAY | 5.5 | |
| Гудстейн Р.Л., Математическая логика и основания математики. Рекурсивный математический анализ (1970).djvu | 3307070 | 2016-11-08 06:37:24 +00:00 | 2KJVCGO5JZNLORHQGKTNCTRY7NNL2M3PMN6F7GA | | |
| Гудстейн_Р.Л._-_Рекурсивный_математический_анализ_(1970)(L)(T).djvu | 3516945 | 2016-10-28 04:40:48 +00:00 | CBM7IF5IGCHZCYOR7VY7N4CCMLJKRR2ZCR7FSLA | | |
| Драгалин_А.Г._-_Конструктивная_теория_доказательств_и_нестандартный_анализ_(2003).djvu | 8252040 | 2016-11-17 02:41:48 +00:00 | YS3SKCED5YXXRR7VROPITMM2KORAICKTNMHHGIY | 3.8 | |
| Ершов Ю.Л., Определимость и вычислимость (1996).djvu | 2323163 | 2016-10-31 12:08:47 +00:00 | MZG4T3OORHWXFYYXAPCNECVUVWDQQAZSQDV6OGA | 3.8 | |
| Ершов_Ю.Л._-_Теория_нумераций_(1977).djvu | 3551581 | 2016-11-28 04:30:49 +00:00 | CIE7AWGNBQIDIR4G25JHAL6NP7JPZOA5ZFYI2KY | | |
| Зиновьев_А.А._-_Логическая_физика_(1972).djvu | 1174315 | 2016-10-22 07:23:45 +00:00 | KNODL3VFWA7LMKW5J5F3KFHMOYB2TT62FVLVIZA | 5.5 | |
| Казимиров_Н.И._-_Введение_в_аксиоматическую_теорию_множеств_(2000).djvu | 738806 | 2016-10-11 07:43:51 +00:00 | KH7WHV44WSMQ6XYZUS4SI3BT7LU2AUJQRIIW54Y | 5.5 | |
| Кановей В.Г., Аксиома выбора и аксиома детерминированности (1984).djvu | 876867 | 2016-10-11 07:43:51 +00:00 | Q3PZY7EQBJI5UDKHVYJH3AWUELDPEXZY4D455ZQ | 6.7 | |
| Карри_Х.Б._-_Основания_математической_логики_(1969).djvu | 6322778 | 2016-10-17 12:55:44 +00:00 | GY7OFYUGURSMYTS6XZCR3VMNZKBTMNKUDXKXXUI | 5.5 | |
| Кейслер Г.Дж., Чень-Чунь Ч., Теория непрерывных моделей (1971).djvu | 1487857 | 2016-10-23 18:57:55 +00:00 | LDSUWOBM4HJ4CXBCN4DID5PT2WPOHG6D2WK6DLI | 3.8 | |
| Китчев_Ф.,_Федоров_Б.И._-_Методологический_анализ_оснований_математики_(1988).djvu | 3322870 | 2016-12-06 10:07:34 +00:00 | HE5NTNIDW6Q6BKC5NED2R7DNCGY3Z275JXOYFGQ | | |
| Клини_С.,_Весли_Р._-_Основания_интуиционистской_математики_с_точки_зрения_теории_рекурсивных_функций_(1978).djvu | 3144389 | 2016-11-25 03:00:50 +00:00 | NQ6XRF3CPKDQP2VLOTPPMIY3HZYK4KP25ZZ47PY | | |
| Клини_С._-_Введение_в_метаматематику_(1957).djvu | 9775196 | 2016-10-16 13:44:03 +00:00 | YGH5RRSQULKVVMK3IWY7KFCVV7DLL4UGL4UQRQA | 3.8 | |
| Колмогоров А.Н., Драгалин А.Г., Введение в математическую логику 1982.djvu | 967415 | 2016-10-11 07:43:51 +00:00 | DUWI4LU3KOKNU72VU723VZ2IQ2MU4AUWCK3YBFA | 7.6 | |
| Колмогоров_А.Н.,_Драгалин_А.Г._-_Введение_в_математическую_логику_(1982)(T).djvu | 1279092 | 2016-10-13 12:35:44 +00:00 | 4CKLL5UPXFPH3NPBXHPF5JS65REGS562IVQZ5EA | | |
| Кондаков Н.И., Введение в логику (1967).djvu | 7128553 | 2016-10-28 00:36:48 +00:00 | FJKQ6KEFZPQNHYGO54UO4DPW3BU5T7O4LLLBDEY | 3.8 | |
| КондаковН_ВведениеВЛогику_1967_Наука_235с.djvu | 8204942 | 2016-12-09 05:05:34 +00:00 | L2RICJ3LD6VD6ZHTGDAUFCMJPWNEPDCUCPMMCHY | | |
| Кутасов_А.Д._-_Элементы_математической_логики_(пособие_для_9-10_классов)_(1977).djvu | 848311 | 2016-10-11 07:43:51 +00:00 | SAJZ6RXZ44ZVWUUDV4YI6O57CAGP6JNPIFZ5CDY | 6.7 | |
| Линдон Р., Заметки по логике (1968).djvu | 1314182 | 2016-10-21 16:08:55 +00:00 | EEO6M46REAVHBSAYEE2QMIGNGCLW4L3THXNRQ7I | 3.8 | |
| Манин_Ю.И._-_Лекции_по_математической_логике._Часть_1_(1974).djvu | 1625066 | 2016-11-02 10:54:47 +00:00 | DUMW7VY4KRYWDB2DXE3AYLDQYJY7M5XUQJG3P3Y | 3.8 | |
| Манин_Ю.И._-_Лекции_по_математической_логике._Часть_2_(1974).djvu | 915389 | 2016-10-11 07:43:51 +00:00 | N3N54IPXPOQE5DGNUPJN7KPBCMWWQCI3OTJOTLA | 7.6 | |
| Марков_А.А._-_Элементы_математической_логики_(1984).djvu | 967184 | 2016-10-11 07:43:51 +00:00 | ZWTFZ7UZ5T67LTCTQONDBGSI7WFCKSF44SWXGBI | 7.6 | |
| Мартин-Лёф_П._-_Очерки_по_конструктивной_математике_(1975).djvu | 1167289 | 2016-10-28 20:56:48 +00:00 | FC3HIOMCRNFGX3B3RXC2KQJALRCL2EIH4NZ4RHY | 3.8 | |
| Марченков С.С., Замкнутые классы булевых функций (2000).djvu | 2008086 | 2016-10-31 15:11:47 +00:00 | VXLUGNJDVZZMT2NALMNTGZYH7YMM4WYUC2IMBLI | 3.8 | |
| Мельников_Г.П._-_Азбука_математической_логики_(1967).djvu | 1878869 | 2016-10-21 13:05:45 +00:00 | XVXFJWY3H3MAKFIFBZYRN4TPJ2XZA63RTYO2YWI | 3.8 | |
| МельниковГ_АзбукаМатематическойЛогиги_1967_Знание_53с.djvu | 2003552 | 2016-10-17 18:00:44 +00:00 | K5XL7NYB2AKGFN2GSQE7DFZQDRY2VCZSQNRNGDI | | |
| Мендельсон Э., Введение в математическую логику (1971).djvu | 2758635 | 2016-10-12 03:04:53 +00:00 | Z7AKM3IK3R5V27LETLLSWSJEPY6OQXRXXXOACVA | 5.5 | |
| Мендельсон_Э._-_Введение_в_математическую_логику_(1971).djvu | 3764805 | 2016-12-03 01:34:42 +00:00 | MOBFXMQYM3NREESNDNWIACG76BLRXPFFFFP5TVI | | |
| Метакидес Г., Нероуд А. Принципы логики и логического программирования, Факториал, 19.djvu | 3958657 | 2016-10-30 18:51:47 +00:00 | D7S7P5RFKUDROOGOXAEFAZKYJAUIPNKFUBOCVAY | | |
| Молодший_В.Н._-_Очерки_по_вопросам_обоснования_математики_(1958).djvu | 2785418 | 2016-12-04 21:33:26 +00:00 | QO7LOIMBR5VYP3B437SOE6BBFCF36YXG2RWP3MY | | |
| Нагел_Э.,_Саппс_П.,_Тарский_А._-_Математическая_логика_и_ее_применения_(1965)(S).djvu | 4182298 | 2016-11-06 10:08:19 +00:00 | OQLOTFL6MG7QBTTNRIVSN62TXPCKAT45SSSQASY | | |
| Никитин_В.В._-_Сборник_логических_упражнений._Пособие_для_учителей_математики_(1970).djvu | 1250969 | 2016-10-29 16:15:47 +00:00 | G7Y755ZGC72JK43T4ENEV76EZGGQTEXYZARVKTY | 3.8 | |
| Никольская И.Л., Математическая логика - Высшая школа (1981)(DJVU) Русский.djvu | 1433860 | 2016-12-07 11:24:31 +00:00 | SZUORDKVHFGCEN25CRZZ3VNNHW4BB5CNPS2IEAI | | |
| Никольская_И.Л._-_Математическая_логика_(1981).djvu | 1216950 | 2016-11-11 20:52:48 +00:00 | CEES2KIL2LEPCYEW2HE7LHSVANF5IFEIEWTWSLA | | |
| Новиков_П.С._-_Конструктивная_математическая_логика_с_точки_зрения_классической_(1977).djvu | 5205096 | 2016-10-30 13:36:47 +00:00 | HM3YNO7UHZFZN5GBP6FBF3JUMUCXCRUUCQKTFQY | 3.8 | |
| ПензовЮ_ЭлементыМатематическойЛогикиИТеорииМножеств_1968_ИСУ_72с.djvu | 2418635 | 2016-10-24 02:04:52 +00:00 | 6HKP4H5APQ5KEEHJENOWV4XWDXDLIEZH54ZMPHQ | 3.8 | |
| Перетятькин_М.Г._-_Конечно_аксиоматизируемые_теории_(1997).djvu | 2863986 | 2016-11-19 01:48:49 +00:00 | DWRRBSAY5MFW7VTVMAYDHXMFAMFCMACK5326LTY | | |
| Петер_Р._-_Игра_с_бесконечностью._Математика_для_нематематиков_(1968).djvu | 2445042 | 2016-10-29 05:04:48 +00:00 | UJMHOEYI52YZMJOSYS2YWTABSO2ASSPKSIWON3A | 3.8 | |
| Плиско_В.Е._-_Математическая_логика_(лекции).pdf | 658219 | 2016-10-11 07:43:51 +00:00 | DLNVU6LYOEG5FETQVY754FR7E52QJL22K2GD4TQ | 7.6 | |
| Плоткин Б.И. - Универсальная алгебра, алгебраическая логика и базы данных 1991.djvu | 9408218 | 2016-12-05 19:54:33 +00:00 | VUSJFBNAGC7RSDCS7R4FKR4FSKJ6SGFN6JAQ5FI | | |
| Постников_М.М._Введение_в_теорию_алгебраических_чисел_(1982)(S).djvu | 10363822 | 2016-11-25 09:06:50 +00:00 | 4G66OADO4QIHFDGPX4RFQZXRLU2KF3N7YADMJ3Y | 3.8 | |
| Расёва_Е.,_Сикорский_Р._-_Математика_метаматематики_(1972)(T).djvu | 7123942 | 2016-10-30 05:28:47 +00:00 | MDIGIPFGP33UDMY4MOOEGZGEH6P4VVW6NM7XEVY | 5.5 | |
| Робинсон_А._-_Введение_в_теорию_моделей_и_метаматематику_алгебры_(1967).djvu | 3190355 | 2016-10-19 20:26:45 +00:00 | T3QZV4QGMBVMA4JOBCIMDMXLRB6QMLHOCBJDC4Q | 3.8 | |
| Сакс Дж.Е., Теория насыщенных моделей (1976).djvu | 2302247 | 2016-10-27 11:24:52 +00:00 | JLLVDD2LZA2PDKCL23BOHD3QTWCRG77QPTQG2UY | 3.8 | |
| Серебрянников О.Ф., Эвристические принципы и логические исчисления (1970).djvu | 2305308 | 2016-11-06 18:03:27 +00:00 | TN7XZGMNSX2QDIWG3CWE6EFACQZMQ2FSSHBQJ3Y | | |
| Слупецкий_Е.,_Борковский_Л._-_Элементы_математической_логики_и_теория_множеств_(1965).djvu | 2445555 | 2016-11-01 23:43:57 +00:00 | ZC63AKVJCEGEISBP46HXM4NHDSNPJU5DSAQ74II | 3.8 | |
| СтяжкинН_ФормированиеМатематическойЛогики_1967_Наука_255с.djvu | 7341921 | 2016-11-11 16:50:43 +00:00 | X7SMJTEYEGYFMGRBI7FZRN5RGPWO4WBT5F3M27I | | |
| Таванец П.В., Философские вопросы современной формальной логики 1962.djvu | 5825470 | 2016-12-05 05:41:26 +00:00 | UBOPLXHQZDEDWLX2Y2X5FIUL2E674XQDPAI4QRY | | |
| Тарский А. - Введение в логику и методологию дедуктивных наук- Пер. с англ. 1948.djvu | 5983270 | 2016-11-25 18:15:48 +00:00 | GJCQVOMUVWJKQBRJUT77DO53EZKXJNX6QHPK3EQ | 3.8 | |
| Теория формальных систем.-Смальян Р.,Наука,1981.djvu | 4105469 | 2016-11-22 08:29:53 +00:00 | TWOCBJLDMVX26IEOKYDLHITTMNTFMDFSV5LPEIA | | |
| Успенский_В.А._Лекции_о_вычислимых_функциях_(1960).djvu | 5700423 | 2016-11-22 15:36:53 +00:00 | U57WTU7FZOLNR2AA4644BUW7UGFSUG36DZX3GKA | | |
| Фейс Р., Модальная логика 1974.djvu | 6302927 | 2016-12-08 19:56:24 +00:00 | 6QLJTMSUIG7C3YNRLHA7LVRLY6FYWRYVKHRWI4Y | | |
| Фреге Г., Основоположения арифметики Логико-математическое исследование о понятии числа (2000).pdf | 811102 | 2016-10-11 07:43:51 +00:00 | UZ6KS4IY74DKJCXDBIQJHIOTDZFYZU27R2BTPGA | 6.7 | |
| Фрейденталь_Х._-_Язык_логики_(1969).djvu | 1047583 | 2016-10-11 07:43:51 +00:00 | RDKVLMFOZVQFZC4INM3GZ32GWRJXLN2XDGUUEBQ | 6.7 | |
| Френкель А.А., Бар-Хиллел И., Основания теории множеств (1966).djvu | 7630549 | 2016-10-25 23:50:02 +00:00 | FMFLQMIMYSWYCTDQIKPEE5GT3WDMQGMMV2ORPXY | 3.8 | |
| Харин_Н.Н._-_Математическая_логика_и_теория_множеств_(1963).djvu | 2492992 | 2016-10-25 09:35:52 +00:00 | WSMJMZIDWO7X2BS23T444PIJZDKIP74VLFKQ6WA | 3.8 | |
| Чёрч_А._-_Введение_в_математическую_логику._Том_1_(1960).djvu | 5360488 | 2016-10-13 15:37:47 +00:00 | 2VDTCFYQ5SGISEQPGV3C5QG7YMOYGXDAYJOXQRA | 6.7 | |
| Шапиро_С.И._-_От_алгоритмов_-_к_суждениям_(Эксперименты_по_обучению_элементам_математического_мышления)_(1973).djvu | 2991756 | 2016-11-04 06:46:08 +00:00 | VYB7Y64LSVKMMPITUZCVAOW2BOGUDV5FHDZJ5LY | 3.8 | |
| Шенфилд Дж., Степени неразрешимости (1977).djvu | 2576840 | 2016-11-04 14:53:08 +00:00 | G7YHGB4UXBF2STZBE5GWD6UJFSAZVG5ZS2BPSBA | 3.8 | |
| Шенфилд_Дж._-_Математическая_логика_(1975).djvu | 5233643 | 2016-11-17 16:55:42 +00:00 | PO2UIUDWMQMPPCUUSM7ZRHBPGZ3ZSJPDA6DQQPA | | |
| Яковлев_А.В._-_Математическая_логика_(лекции)(S).pdf | 470911 | 2016-10-24 09:11:52 +00:00 | HPV7NQEADPW3N7KBO7ZANFMZA6QONBT73ZLSKKQ | 5.5 | |