BooksSitemapMathematicsLogic0-9
0-1 laws and decision problems for fragments of second-order logic by Phokion Gerasimos Kolaitis, Moshe Y. Vardi, University of California, Santa Cruz. Computer Research Laboratory - 1989 - 33 pages
100% mathematical proof by Rowan Garnier, John Taylor - 1996 - 317 pages
104 number theory problems by Titu Andreescu, Dorin Andrica, Zuming Feng - 2007 - 204 pages
11-ая Межреспубликанская конференция по математической логике by А. А Макарова - 1992 - 163 pages
15 papers on topology and logic by Leonid Mikhaĭlovich Abramov - 1964 - 298 pages
18 Unconventional Essays on the Nature of Mathematics by Reuben Hersh - 2006 - 326 pages
18 Unconventional Essays on the Nature of Mathematics by Reuben Hersh - 2006 - 326 pages
1921 - 1934 by Alfred Tarski, Steven R. Givant, Ralph McKenzie - 1986 - 659 pages
1945 - 1957 by Alfred Tarski - 1986 - 682 pages
1958-1979 by Alfred Tarski, Steven R. Givant - 1986 - 757 pages
1er Congrés Català de Logicà Matemàtica - 1982 - 130 pages
5 International Congress of Logic Methodology and Philosophy of Science by International Union of the History and Philosophy of Science. Division of Logic, Methodology and Philosophy of Science, National Research Council of Canada, University of Western Ontario - 1975 - 573 pages
5th Annual IEEE Symposium on Logic in Computer Science by IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing - 1984 - 509 pages
5th Conference on Automated Deduction by Wolfgang Bibel - 1980 - 385 pages
5th Conference on Automated Deduction by Wolfgang Bibel - 1980 - 385 pages
6th Conference on Automated Deduction, New York, USA, June 7-9, 1982 by Donald W. Loveland - 1982 - 389 pages
6th Conference on Automated Deduction, New York, USA, June 7-9, 1982 by Donald W. Loveland - 1982 - 389 pages
7th International Conference on Automated Deduction by Robert Shostak - 1984 - 508 pages