BooksSitemapMathematicsLogic
Aristotle's Posterior analytics by Aristotle - 1976 - 277 pages
Aristotle's syllogistic by Jan Łukasiewicz - 1951 - 141 pages
Aristotle's syllogistic from the standpoint of modern formal logic by Jan Łukasiewicz - 1957 - 222 pages
Aristotle's syllogistic from the standpoint of modern formal logic by Jan Łukasiewicz - 1957 - 222 pages
Around and Beyond the Square of Opposition - 2012 - 379 pages
Around Classification Theory of Models by Saharon Shelah - 1986 - 279 pages
Aspects of constructibility by Keith J. Devlin - 1973 - 240 pages
Aspects of Incompleteness by Per Lindström - 2003 - 159 pages
Aspects of incompleteness by Per Lindström - 1997 - 132 pages
Aspects of Mathematical Logic by E. Casari - 2011 - 285 pages
Atlas for Computing Mathematical Functions by William J. Thompson - 1997 - 904 pages
Atti del Convegno di storia della logica by Università di Parma. Istituto di filosofia - 1974 - 292 pages
Autmorphisms of the Lattice of Recursively Enumerable Sets by Peter Cholak - 1995 - 151 pages
Autologic by Neil Tennant - 1992 - 239 pages
Automata Networks - 1988 - 125 pages
Automata, languages, and programming by S. Michaelson, Robin Milner - 1976 - 559 pages
Automated theorem-proving in non-classical logics by Paul B. Thistlewaite, Michael A. McRobbie, Robert K. Meyer - 1988 - 154 pages
Automath by Nicolaas Govert Bruijn - 1973 - 124 pages
Automath by Nicolaas Govert Bruijn - 1973 - 124 pages
Auxiliary concepts within first-order scientific theories by Raimo Tuomela - 1969 - 150 pages
Avec des nombres et des lignes by André Sainte-Laguë - 1942 - 358 pages
Axiomatic analysis and relativizations of recursion theory by Robert Steven Winternitz - 1980 - 194 pages
Axiomatic set theory by Gaisi Takeuti, Wilson M. Zaring - 1973 - 238 pages
Axiomatic set theory by Thomas J. Jech - 1967 - 222 pages
Axiomatic set theory by American Mathematical Society, Dana S. Scott, Thomas J. Jech
Axiomatic theory of sets and classes by Murray Eisenberg - 1971 - 366 pages
Basic applied logic by Kenton F. Machina - 1982 - 414 pages
Basic Concepts of Mathematics and Logic by Michael C. Gemignani - 2004 - 280 pages
Basic Concepts of Mathematics and Logic by Michael C. Gemignani - 2004 - 280 pages
Basic philosophy of language by John Trotter - 1998 - 58 pages
Beginning Links to Logic Grades 1-2 by Sara Inskeep, Bonnie J Krueger - 2009 - 48 pages
Beginning model theory by Jane Bridge - 1977 - 143 pages
Being qua being by Panayot Butchvarov - 1979 - 274 pages
Being qua being by Panayot Butchvarov - 1979 - 274 pages
Being Qua Being by Panayot Butchvarov - 1979 - 274 pages
Beiträge zum Satz vom Widerspruch und zur Aristotelischen Prädikationstheorie - 2000 - 377 pages
Beiträge zur Philosophie der Logik und Mathematik by Léonard Nelson - 1959 - 125 pages
Bernard Bolzano-Gesamtausgabe by Bernard Bolzano - 1969
Bernard Bolzano-Gesamtausgabe by Bernard Bolzano - 1969
Bernard-Bolzano-Gesamtausgabe by Bernard Bolzano - 2009 - 131 pages
Bernard-Bolzano-Gesamtausgabe by Bernard Bolzano - 2005 - 229 pages
Bernard-Bolzano-Gesamtausgabe by Bernard Bolzano - 2005 - 229 pages
Bertrand Russell and the origins of the set-theoretic 'paradoxes' by Alejandro Ricardo Garciadiego Dantan - 1992 - 264 pages
Bertrand Russell and the origins of the set-theoretic 'paradoxes' by Alejandro Ricardo Garciadiego Dantan - 1992 - 264 pages
Bertrand Russell on modality and logical relevance by Jan Dejnožka - 1999 - 241 pages
Beweisen im Mathematikunterricht by Willibald Dörfler, Roland Fischer - 1979 - 430 pages
Bi-modal logic and double-closure algebras by Jean Estelle Hirsh Rubin - 1954 - 136 pages
Bounded arithmetic by Samuel R. Buss - 1986 - 221 pages
Bounded Queries in Recursion Theory by William I. Gasarch, Georgia A. Martin - 1999 - 353 pages
Bricologica. Trenta oggetti matematici da costruire con le mani by Robert Ghattas, Martha Fabbri - 2010 - 156 pages
Bridge to Abstract Mathematics by Ralph W. Oberste-Vorth, Aristides Mouzakitis, Bonita A. Lawrence - 2013 - 340 pages
Bridge to abstract mathematics by Ronald P. Morash - 1991 - 389 pages
Brouwer's Cambridge Lectures on Intuitionism by Luitzen Egbertus Jan Brouwer, D. van Dalen - 2011 - 122 pages
Building Models by Games by Wilfrid Hodges - 2006 - 318 pages
Business Research Methodology (With Cd) by T. N. Srivastava - 1958 - 210 pages
BUSINESS RESEARCH METHODOLOGY - WITH CD by SRIVASTAVA - 1958 - 210 pages
Büchi's Monadic Second Order Successor Arithmetic by Dirk Siefkes - 1970 - 130 pages
Cabal seminar 76-77 by A. S. Kechris, Yíannis N. Moschovakis - 1978 - 282 pages
Cabal seminar 77-79 - 1981 - 274 pages
Cabal Seminar 81-85 by A. S. Kechris, Donald A. Martin, John R. Steel - 1988 - 224 pages
Cabal Seminar 81-85 by A. S. Kechris - 1988 - 224 pages
Calculi of pure strict implication by Edward John Lemmon, C. A. Meredith, D. Meredith - 1956 - 21 pages
Canonical analysis by James John McKeon - 1966 - 43 pages
Canonical analysis by James John McKeon - 1966 - 43 pages
Canonical expressions in Boolean algebra by Archie Blake - 1938 - 60 pages
Canonical expressions in Boolean algebra by Archie Blake - 1938 - 60 pages
Carnets, 1914-1916 by Ludwig Wittgenstein - 1971 - 249 pages
Cartesian closed categories of domains by A. Jung, Centrum voor Wiskunde en Informatica (Amsterdam, Netherlands) - 1989 - 110 pages
Categorical combinators, sequential algorithms, and functional programming by Pierre-Louis Curien - 1986 - 300 pages
Categorical Foundations by Maria Cristina Pedicchio, Walter Tholen - 2004 - 417 pages
Categoricity by John T. Baldwin - 2009 - 235 pages
Categories and computer science by R. F. C. Walters - 1991 - 166 pages
CH (and less) solves a set-theoretic problem of Čech by Roderick Allen Price - 1979 - 186 pages
Chance by Amir D. Aczel - 2004 - 161 pages
Children's understanding of negation as a logical operation in a classification task by S. Shirley Feldman - 1968 - 312 pages
Cinq confʹerences sur l'indécidabilité by Nicolas Bouleau, Jean-Yves Girard, Alain Louveau - 1983 - 77 pages
Class-partition diagrams by Thomas J. Twomey - 1965 - 81 pages
Classes-Relations et Nombres by Jean Piaget - 1942 - 323 pages
Classic Papers in Combinatorics by Ira Gessel, Gian-Carlo Rota - 2008 - 489 pages
Classical and Fuzzy Concepts in Mathematical Logic and Applications, Professional Version by Mircea S. Reghis, Eugene Roventa - 1998 - 364 pages
Classical Descriptive Set Theory by A. S. Kechris - 1995 - 402 pages
Classical Descriptive Set Theory by A. S. Kechris - 1995 - 402 pages
Classical Descriptive Set Theory by Alexander S. Kechris - 1995 - 428 pages
Classical Mathematical Logic by Richard L. Epstein - 2011 - 544 pages
Classical Mathematical Logic by Richard L. Epstein - 2006 - 522 pages
Classical Mathematical Logic by Richard L. Epstein - 2006 - 522 pages
Classical propositional operators by Krister Segerberg - 1982 - 151 pages
Classical recursion theory by Piergiorgio Odifreddi - 1989 - 668 pages
Classical recursion theory by Piergiorgio Odifreddi - 1989 - 668 pages
Classical sentential logic by Robert Katz - 1994 - 74 pages
Classical theory of first order logic by A. Pampapathy Rao - 1970 - 55 pages
Classification theory by John T. Baldwin - 1987 - 500 pages
Classification theory and the number of non-isomorphic models by Saharon Shelah - 1978 - 544 pages
Closure Spaces and Logic by N.M. Martin, S. Pollard - 1996 - 252 pages
Cognitive Reasoning by Tamás Gergely, Oleg M. Anšakov - 2010 - 437 pages
Collected Papers of Stig Kanger by Stig Kanger, Ghita Holmström-Hintikka, Sten Lindström, Rysiek Sliwinski - 2001 - 280 pages
Collected Papers of Stig Kanger with Essays on His Life and Work by Stig Kanger - 2001 - 319 pages
Collected Works by Kurt Gödel, Solomon Feferman - 2003 - 664 pages
Collected Works by Kurt Gödel - 2003 - 407 pages
Collected Works by Kurt Godel, Kurt Gödel, Solomon Feferman - 2003 - 688 pages
Collected Works by Hans Hahn, Leopold Schmetterer, Karl Sigmund - 1997 - 581 pages
Collected works by Hans Hahn, Leopold Schmetterer, Karl Sigmund - 1995 - 511 pages
Collected works by Stanisław Leśniewski - 1992 - 794 pages
Collected works by Stanisław Leśniewski, Stanisław J. Surma - 1992 - 794 pages
Collected works by Stanisław Leśniewski, Stanisław J. Surma, Jan T. J. Srzednicki, D. I. Barnett - 1992 - 794 pages
Collected Works by Kurt Gödel, Solomon Feferman - 1986 - 490 pages
Colloque international de logique by Centre national de la recherche scientifique (France) - 1977 - 224 pages
Colloquium on the foundations of mathematics, mathematical machines and their applications - 1965 - 317 pages
Colloquium on the Foundations of Mathematics, Mathematical Machines, and Their Applications by Magyar Tudományos Akadémia. Matematikai és Fizikai Tudományok Osztálya, Bolyai János Matematikai Társulat - 1965 - 317 pages
Coloquio sobre Lógica Simbólica, Madrid febrero 1975 by Universidad Complutense de Madrid. Centro de Cálculo - 1975 - 176 pages
Combinatorial number-theory by Muhammad Ali McBeth - 1994 - 430 pages
Combinatory logic by Haskell Brooks Curry - 1972 - 520 pages
Combinatory Logic by Haskell Brooks Curry, Robert Feys - 1972 - 520 pages
Combining Experimentation and Theory - 2012 - 424 pages
Compact and [Greek letter omega]-compact formulas by Bonnie Gold - 1976 - 64 pages
Completeness properties of classical theories of finite type and the normal form theorem by Peter Päppinghaus - 1983 - 66 pages
Completeness Theory for Propositional Logics by Witold Adam Pogorzelski, Piotr Wojtylak - 2008 - 178 pages
Complex Systems Dynamics by Gérard Weisbuch - 1991 - 189 pages
Complexity of Proofs and Their Transformations in Axiomatic Theory by Vladimir P. Orevkov - 1993 - 153 pages
Compound statements and mathematical logic by Vincent E. Cangelosi - 1967 - 114 pages
Comprendiendo el infinito by Shaughan Lavine - 2005 - 406 pages
Computability by Douglas S. Bridges - 1994 - 178 pages
Computability by Douglas S. Bridges - 1994 - 178 pages
Computability by Richard L. Epstein, Walter Alexandre Carnielli - 1989 - 297 pages
Computability & unsolvability by Martin Davis - 1958 - 248 pages
Computability & Unsolvability by Martin Davis - 1958 - 248 pages
Computability and decidability by Jacques Loeckx - 1972 - 76 pages
Computability and Logic by George S. Boolos, John P. Burgess, Richard Carl Jeffrey - 2002 - 356 pages
Computability and logic by Daniel E. Cohen - 1987 - 243 pages
Computability and logic by Daniel E. Cohen - 1987 - 243 pages
Computability and logic by Daniel E. Cohen - 1987 - 243 pages
Computability and Logic by George Boolos, Richard Carl Jeffrey - 1974 - 262 pages
Computability and Models by S. Barry Cooper, Sergey S. Goncharov - 2003 - 375 pages
Computability in analysis and physics by Marian Boykan Pour-El, Jonathan Ian Richards - 1989 - 206 pages
Computability of design by Yehuda E. Kalay - 1987 - 363 pages
Computability of design by Yehuda E. Kalay - 1987 - 363 pages
Computability Theory by Rebecca Weber - 2012 - 203 pages
Computability Theory and Its Applications by Peter Cholak - 2000 - 320 pages
Computability theory: an introduction by Neil D. Jones - 1973 - 154 pages
Computability theory: an introduction by Neil D. Jones - 1973 - 154 pages
Computability, Enumerability, Unsolvability by S. B. Cooper, T. A. Slaman, S. S. Wainer - 1996 - 347 pages
Computable analysis by Stanisław Mazur - 1963 - 110 pages
Computable Functions by Nikolaj K. Vereščagin, A. Shen - 2003 - 166 pages
Computable Models by Raymond Turner - 2009 - 240 pages
Computable set theory by Domenico Cantone, Alfredo Ferro, Eugenio Omodeo - 1990 - 360 pages
Computable set theory by Domenico Cantone, Alfredo Ferro, Eugenio Omodeo - 1990 - 360 pages
Computation and Its Limits by Paul Cockshott, Lewis M Mackenzie, Gregory Michaelson - 2012 - 239 pages
Computation and Its Limits by Paul Cockshott, Lewis M Mackenzie, Gregory Michaelson - 2012 - 239 pages
Computation and proof theory by M. M. Richter, E. Borger, W. Oberschelp, B. Schinzel, W. Thomas - 1984 - 483 pages
Computation and proof theory by Michael M. Richter - 1984 - 475 pages
Computation and proof theory by Michael M. Richter - 1984 - 475 pages
Computations in higher types by Johan Moldestad - 1977 - 203 pages
Computer Programming Logic Using Flowcharts by Joyce M. Farrell - 1994 - 240 pages
Computer science and multiple-valued logic by David C. Rine - 1984 - 641 pages
Computer Science Logic by Michael Kaminski, Simone Martini - 2008 - 512 pages
Computer Science Logic by Jacques Duparc, Thomas A. Henzinger - 2007 - 600 pages
Computer Science Logic by Matthias Baaz, Johann A. Makowsky, European Association for Computer Science Logic. Conference - 2003 - 590 pages
Computer Science Logic by Julian Bradfield - 2002 - 612 pages
Computer Science Logic by Julian Bradfield - 2002 - 612 pages
Computer Science Logic by Laurent Fribourg - 2001 - 614 pages
Computer Science Logic by Laurent Fribourg - 2001 - 614 pages
Computer Science Logic by Peter G. Clote, Helmut Schwichtenberg - 2000 - 541 pages
Computer Science Logic by Mario Rodriguez-Artalejo - 1999 - 580 pages
Computer Science Logic by Georg Gottlob, Etienne Grandjean, Katrin Seyr - 1999 - 429 pages
Computer Science Logic by Dirk van Dalen, Marc Bezem - 1997 - 471 pages
Computer Science Logic by Hans Kleine Buening - 1996 - 485 pages
Computer Science Logic by Egon Börger - 1991 - 399 pages
Computerized Plant Community Classification by Léonie Bernadette Nadeau, Ian George William Corns, Chao Li, Northern Forestry Centre (Canada) - 2002 - 22 pages
Computerized plant community classification by Léonie Bernadette Nadeau, Ian George William Corns, Chao Li, Northern Forestry Centre (Canada) - 2002 - 22 pages
Computers in chess by Mikhail Moiseevich Botvinnik - 1984 - 158 pages
Computing and logic, mathematics and language by Glenn Jay Satty, Thomas J. Blakeley, James G. Colbert - 1988 - 222 pages
Concepts and Fuzzy Logic by Radim Bělohlávek - 2011 - 274 pages
Conceptual Graphs and Fuzzy Logic by Tru Hoang Cao - 2010 - 240 pages
Conditional and Preferential Logics by Gian Luca Pozzato - 2010 - 208 pages
Conditionals by Nicholas Rescher - 2007 - 246 pages
Conditionals by G. Crocco, Luís Fariñas del Cerro, Andréas Herzig - 1995 - 368 pages
Conditionals and Modularity in General Logics by Dov M. Gabbay - 2011 - 233 pages
Conference in Mathematical Logic - London '70 by Wilfrid Hodges - 1972 - 351 pages
Conference in Mathematical Logic - London '70 by Wilfrid Hodges - 1972 - 351 pages
Conference on automata, languages and programming systems, held in Salgotarjan, Hungary, May 19-22, 1986 by F. Gécseg, István Peák, Marx Károly Közgazdaságtudományi Egyetem. Matematika Tanszék - 1986 - 328 pages
Conference record of the 1972 Symposium on the Theory and Applications of Multiple-Valued Logic Design, Buffalo, New York, May 25-26, 1972 by State University of New York at Buffalo, United States. Office of Naval Research, IEEE Computer Society - 1972 - 209 pages
Conjecture and Proof by Miklós Laczkovich - 2001 - 118 pages
Consequences of Martin's Axiom by D. H. Fremlin - 1984 - 325 pages
Constraints in Computational Logics by Jean-Pierre Jouannaud - 1994 - 367 pages
Constructibility by Keith J. Devlin - 1984 - 425 pages
Constructibility by Keith J. Devlin - 1984 - 425 pages
Constructive Mathematics by Fred Richman - 1981 - 347 pages
Constructive models by I︠U︡riĭ Leonidovich Ershov, S. S. Goncharov - 2000 - 293 pages
Constructive Negations and Paraconsistency by Sergei P. Odintsov - 2008 - 240 pages
Constructive order types by John N. Crossley - 1969 - 225 pages
Constructive order types by John N. Crossley - 1969 - 225 pages
Constructivism in mathematics by Anne Sjerp Troelstra, Dirk Dalen - 1988 - 879 pages
Constructivity in mathematics - 1959 - 297 pages
Contemporary perspectives on logicism and the foundation of mathematics - 2007 - 208 pages
Contributions to [alpha]- and [beta]-recursion theory by Wolfgang Maass - 1978 - 107 pages
Contributions to the Founding of the Theory of Transfinite Numbers by Georg Cantor - 1911 - 211 pages
Convex and starlike mappings in several complex variables by Sheng Gong - 1998 - 199 pages
Convolution of robust functions - 2002 - 25 pages
Cornerstones of undecidability by Grzegorz Rozenberg, Arto Salomaa - 1994 - 197 pages
Cost-Benefit Analysis and the Theory of Fuzzy Decisions by K. K. Dompere - 2004 - 346 pages
1 2 3 4 5 6 7 8 9 10 11