BooksSitemapMathematicsLogic
Mystic, geometer, and intuitionist. 2. Hope and disillusion by Dirk Dalen - 2005 - 10 pages
N+1, Number One by Mark Greif, n+1, Benjamin Kunkel, Sam Lipsyte, Keith Gessen, Mark Greif, Dushko Petrovich, Joshua Glenn, Vladimir Sorokin, Marco Roth, Masha Gessen, Chad Harbach, Patrick Giles, Keith Gessen, Benjamin Kunkel, Marco Roth - 2004 - 182 pages
Na pomedzí logiky a filozofie by Pavel Cmorej - 2001 - 349 pages
Nachgelassene Schriften und Wissenschaftlicher Briefwechsel: Nachgelassene Schriften by Gottlob Frege - 1969
Natural deduction by John Mueller Anderson, Henry W. Johnstone - 1962 - 418 pages
Natural deduction proof as higher-order resolution by Lawrence C. Paulson - 1985 - 25 pages
Necessity and Possibility - 1999 - 394 pages
Negation by Heinrich Wansing, Gesellschaft für Analytische Philosophie - 1996 - 270 pages
Negation, Subjectivity, and the History of Rhetoric by Victor J. Vitanza - 1997 - 428 pages
Negation; Subjectivity & Hist Rhetori by Victor J. Vitanza - 1997 - 428 pages
Neural Nets by Bruno Apolloni - 2006 - 370 pages
Neutrality and Many-Valued Logics by Andrew Schumann, Florentin Smarandache - 2007 - 119 pages
Neutrosophy by Florentin Smarandache - 1998 - 105 pages
Neutrosophy in Arabic Philosophy [Arabic Version] by Florentin Smarandache, Salah Osman - 2007
Neutrosophy in Arabic Philosophy [English Version] by Florentin Smarandache, Salah Osman - 2007 - 278 pages
New Computational Paradigms by Benedikt Lo肓e, Andrea Sorbi - 2008 - 557 pages
New foundations for ethical theory by Stig Kanger - 1957
New logical machine by Allan Marquand - 1885 - 5 pages
New methods in symbolic logic by Gerald B. Standley - 1971 - 217 pages
New Methods in Symbolic Logic by Gerald B. Standley - 1971 - 217 pages
Neytrosofskie Metodii v Obshey Teorii Otnositelnosti by Дмитри Рабунски, Флорентин Смарандаче, Ларисса Бориссова - 2005 - 107 pages
Non Contraddizione E Terzo Escluso by Sergio Galvan - 1997 - 159 pages
Non-standard analysis by Abraham Robinson - 1966 - 293 pages
Non-standard logic and its applications by Aleksandr Zinoviev - 1983 - 36 pages
Nonlocal Bifurcations by I͡U. S. Ilʹi͡ashenko, Weigu Li - 1999 - 286 pages
Nonstandard Analysis - Recent Developments by A. E. Hurd - 1983 - 213 pages
Nonstandard Analysis for the Working Mathematician - 2000 - 311 pages
Nonstandard Analysis for the Working Mathematician - 2000 - 328 pages
Normalformen von Markov'schen und Post'schen Algorithmen by Lutz Priese - 1971 - 124 pages
Notes for lectures on metamathematics, given at Stanford University, 1961-1962 by Solomon Feferman - 1962 - 515 pages
Notes for lectures on metamathematics, given at Stanford University, 1961-1962 by Solomon Feferman - 1962 - 515 pages
Notes on logic by Roger C. Lyndon - 1966 - 94 pages
Notes on Logic and Set Theory by P. T. Johnstone - 1987 - 110 pages
Notes on Set Theory by Yiannis N. Moschovakis - 1994 - 272 pages
Notes on the formalization of logic by David Bostock - 1981 - 239 pages
Number systems by Benjamin Bold, Alan Wayne - 1972 - 266 pages
Numbers, Sets and Axioms by A. G. Hamilton - 1982 - 255 pages
Numerically exceptive logic by Wallace A. Murphree - 1991 - 212 pages
Några resultat i modal logik by Sören Halldén - 1950 - 34 pages
Omega --bibliography of Mathematical Logic: Model theory - 1987 - 617 pages
Omega --bibliography of Mathematical Logic: Non-classical logics - 1987 - 469 pages
Omega --bibliography of Mathematical Logic: Proof theory ; Constructive mathematics - 1987 - 405 pages
Omega --bibliography of Mathematical Logic: Set theory - 1987 - 791 pages
Omega -cohesive sets by Barbara Falkenbach Ryan - 1968 - 60 pages
Omega-bibliography of mathematical logic by Gert H. Müller, Peter G. Hinman, Wolfgang Lenski - 1987 - 697 pages
Omega-bibliography of mathematical logic - 1987 - 485 pages
On Aristotle's "Prior analytics 1.23-31" by Alexander (of Aphrodisias.), Ian Mueller - 2006 - 184 pages
On Aristotle's "Prior analytics 1.23-31" by Alexander (of Aphrodisias.), Ian Mueller - 2006 - 184 pages
On cyclic, acyclic, and nonlinear families of sets by Tomasz Traczyk - 1978 - 18 pages
On Formally Nudecidable Proposition of Principia Mathematica and Related Systems by Kurt Gödel - 1992 - 72 pages
On Formally Nudecidable Proposition of Principia Mathematica and Related Systems by Kurt Gödel - 1992 - 72 pages
On Group-Theoretic Decision Problems and Their Classification. (Am-68) by Charles F. Miller - 1971 - 106 pages
On invariant, dual invariant and absolute formulas by Andrzej Mostowski - 1962 - 36 pages
On irreducible m-degrees by Rod G. Downey - 1992 - 8 pages
On logics that express "there exist many indiscernibles" by Charles Ira Steinhorn - 1980 - 258 pages
On many-one degrees by Shih-Chao Liu - 1965 - 142 pages
On Martin's conjecture by Catherine Wagner - 1979 - 146 pages
On structurality of rules of inference by Tadeusz Kubiński - 1965 - 39 pages
On the analytic equivalence of simply connected open sets by Henry Cheng - 1971 - 230 pages
On the estimation of the length of normal derivations by Luiz Carlos P. D. Pereira - 1982 - 102 pages
On the Logic of Ordinary Conditionals by Robert N. McLaughlin - 1990 - 202 pages
On the Logic of Ordinary Conditionals by Robert N. McLaughlin - 1990 - 202 pages
On the Logic of Ordinary Conditionals by Robert N. McLaughlin - 1990 - 202 pages
On the Logic of Ordinary Conditionals by Robert N. McLaughlin - 1990 - 202 pages
On the metamathematics of impredicative set theory by Wiktor Marek - 1973 - 45 pages
On the syllogism by Augustus De Morgan - 1966 - 355 pages
On the theory of the polynomial degrees of the recursive sets - 1987 - 94 pages
Once Upon a Number by John Allen Paulos - 2008
Ontologie und logistiche Analyse der Sprache by Guido Küng - 1963 - 173 pages
Operads in Algebra, Topology and Physics by Martin Markl, Steve Shnider, James D. Stasheff - 2002 - 349 pages
Operational congruences for reactive systems by James Judi Leifer - 2001 - 144 pages
Operators on models by Loyal Taylor Ollmann - 1970 - 138 pages
Opuscules et fragments inédits de Leibniz by Gottfried Wilhelm Leibniz (Freiherr von), Hannover (Germany). Königliche und provinzial-bibliothek - 1903 - 682 pages
Oriented Matroids by Anders Björner - 1999 - 548 pages
Origin of Negative Dialectics by Susan Buck-Morss - 1979 - 352 pages
Orthomodular lattices by Gudrun Kalmbach - 1983 - 390 pages
Orthomodular structures as quantum logics by Pavel Pták, Sylvia Pulmannová - 1991 - 212 pages
Papers in Philosophical Logic: by David Lewis - 1998 - 234 pages
Paradox Games by Waldo Thompson - 2011 - 152 pages
Paradoxes of the infinite by Bernard Bolzano - 1950 - 189 pages
Parafrasi schröderiane. Ovvero Ernst Schröder, le operazioni del calcolo logico. Ediz. multilingue - 2010 - 208 pages
Parameterized computational feasibility by Rod G. Downey, Michael R. Fellows - 1992 - 54 pages
Passively adaptive regulator design for systems with multiple models by Sidney Duu-shin Chou - 1986 - 322 pages
Patras Logic Symposion by George Metakides - 1982 - 391 pages
Patterns of plausible inference by George Pólya - 1954 - 190 pages
Peano, life and works of Giuseppe Peano by Hubert C. Kennedy - 1980 - 230 pages
Penser les mathématiques by Jean Alexandre Dieudonné - 1982 - 273 pages
Per la storia della logica by Federigo Enriques - 1922 - 302 pages
Perspectives of elementary mathematics by Gerhard Paul Hochschild - 1983 - 120 pages
Perspectives on the History of Mathematical Logic by Thomas Drucker - 2008 - 196 pages
Perspectives on the History of Mathematical Logic by Thomas Drucker - 2008 - 196 pages
Petri nets--central models and their properties by Wilfried Brauer, Wolfgang Reisig, Grzegorz Rozenberg - 1987 - 480 pages
Philosophical Applications of Free Logic by Karel Lambert - 1991 - 309 pages
Philosophical Foundations of Logic by Karl Damian Schick - 2004 - 38 pages
Philosophical remarks by Ludwig Wittgenstein, Rush Rhees - 1975 - 357 pages
Philosophy and error by Jan Woleński - 1997 - 268 pages
Pinocchio nel paese dei paradossi. Viaggio tra le contraddizioni della logica by Alessio Palmero Aprosio - 2012 - 153 pages
Pocketbook of Mathematical Functions by Johann Rafelski - 1984 - 468 pages
Polish Logic 1920-1939 by Storrs McCall - 1967 - 420 pages
Popular lectures on mathematical logic by Hao Wang - 1981 - 273 pages
Popular Lectures on Mathematical Logic by Hao Wang - 1981 - 281 pages
Popular psychological fallacies by James Garden Taylor - 1938 - 275 pages
Possibility And Reality by Hans Rott, Vítezslav Horák - 2003 - 299 pages
Possible Worlds by John Divers - 2002 - 380 pages
Possible Worlds by John Divers - 2002 - 380 pages
Post's machine by Vladimir Andreevich Uspenskiĭ - 1983 - 88 pages
Posterior Analytics by Aristotle - 2006 - 208 pages
Posterior Analytics by Aristotle - 2006
Posterior Analytics by Aristotle - 2004 - 80 pages
Posterior Analytics by Aristotle, Jonathan Barnes - 1994 - 298 pages
Posterior analytics by Aristotle - 1960 - 754 pages
Posterior analytics by Aristotle - 1960 - 754 pages
Posterior analytics by Aristotle - 1960 - 754 pages
Posterior Analytics (Mobi Classics) - 2009 - 80 pages
Postulational methods ... by Louis Osgood Kattsoff - 1934 - 2 pages
Practical Foundations of Mathematics by Paul Taylor - 1999 - 572 pages
Practical Foundations of Mathematics by Paul Taylor - 1999 - 572 pages
Practice problems in number systems, logic, and Boolean algebra by Edward J. Bukstein - 1967 - 128 pages
Pre-circulated drafts of papers for the Symposium on Conditionals and Cognitive Processes, Stanford University, Dec. 8th-11th, 1983 - 1983 - 500 pages
Predicate logic by Howard Pospesel - 1976 - 205 pages
Prediction: its logical laws, its subjective sources by Bruno De Finetti - 1936 - 178 pages
Premises and conclusions by Robert E. Rodes, Howard Pospesel - 1997 - 387 pages
Primenenie logiki v nauke i tekhnike by Institut filosofii (Akademii︠a︡ nauk SSSR) - 1960 - 557 pages
Principia mathematica by Alfred North Whitehead, Bertrand Russell - 1981
Principia mathematica by Alfred North Whitehead, Bertrand Russell - 1963
Principia mathematica by Alfred North Whitehead, Bertrand Russell - 1912
Principia Mathematica to *56 by Alfred North Whitehead, Bertrand Russell - 1997 - 410 pages
Principia mathematica to *56 by Alfred North Whitehead, Bertrand Russell - 1970 - 410 pages
Principia Practica by Arnold A. Johanson - 2000 - 333 pages
Principles of Mathematical Logic by DAVID AUTOR HILBERT, W AUTOR ACKERMANN, Robert E. Luce - 1950 - 172 pages
Principles of mathematical logic by David Hilbert, Wilhelm Ackermann - 1950 - 172 pages
Probabilistic Boolean Networks by Ilya Shmulevich, Edward R. Dougherty - 2010 - 267 pages
Probabilistic Logic in a Coherent Setting by G Coletti, Romano Scozzafava - 2002 - 289 pages
Probability and opinion by Edmund F. Byrne - 1968 - 334 pages
Probability and opinion by Edmund F. Byrne - 1968 - 334 pages
Probability and the logic of rational belief by Henry Ely Kyburg - 1961 - 346 pages
Probability quantifiers and operators by Miodrag Rašković, Radosav Đorđević - 1996 - 121 pages
Probleme und Resultate der Wissenschaftstheorie und analytischen Philosophie by Wolfgang Stegmüller - 1973 - 419 pages
Probleme und Resultate der Wissenschaftstheorie und analytischen Philosophie by Wolfgang Stegmüller - 1973 - 419 pages
Probleme und Resultate der Wissenschaftstheorie und analytischen Philosophie. 4. Personelle und statistische Wahrscheinlichkeit. Personelle Wahrscheinlichkeit und rationale Entscheidung by Wolfgang Stegmüller - 1973 - 560 pages
Problemi epistemologica da Hume al'ultimo Wittgenstein by Domenico Campanale - 1961 - 423 pages
Problems in logic and ontology - 1974 - 310 pages
Problems in the constructive trend in mathematics. 4 by V. P. Orekov, N. A. Sanin - 1970 - 329 pages
Problems in the constructive trend in mathematics. 5 by Vladimir P. Orevkov - 1972 - 287 pages
Proceedings - 1991 - 417 pages
Proceedings - 1991 - 417 pages
Proceedings - 1991 - 417 pages
Proceedings by IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing - 1987 - 361 pages
Proceedings by IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing, ACM Special Interest Group for Automata and Computability Theory, Association for Symbolic Logic, European Association for Theoretical Computer Science - 1986 - 383 pages
Proceedings by Institute of Electrical and Electronics Engineers, IEEE Computer Society - 1982 - 341 pages
Proceedings by IEEE Computer Society - 1980 - 277 pages
Proceedings from 5th Scandinavian Logic Symposium, Aalborg, 17-19 January 1979 - 1979 - 361 pages
Proceedings of the '87 Debrecen Symposium on Logic and Language by Imre Ruzsa, Anna Szabolcsi - 1987 - 252 pages
Proceedings of the 10Th Asian Logic Conference by T. Arai - 2009 - 393 pages
Proceedings of the 6th Asian Logic Conference - 1998 - 356 pages
Proceedings of the 7th & 8th Asian Logic Conferences by Rod Downey - 2003 - 471 pages
Proceedings of the First International Conference on Neutrosophy, Neutrosophic Logic, Neutrosophic Set, Neutrosophic Probability and Statistics (Second Edition) [University of New Mexico, Gallup, 1-3 December 2001] by Florentin Smarandache editor - 2003 - 148 pages
Proceedings of the International Symposium by Michael Isaacson, Michael Quick - 1994
Proceedings of the International Symposium by Michael Isaacson, Michael Quick - 1994 - 1670 pages
Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983 - 1984 - 484 pages
Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983 - 1984 - 475 pages
Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983 - 1984 - 484 pages
Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983 - 1984 - 475 pages
Proceedings of the Second Scandinavian Logic Symposium by Association for Symbolic Logic - 1971 - 405 pages
Proceedings of the Summer School in Logik, Leeds 1967 by Martin H. Löb - 1968 - 336 pages
Proceedings of the third International Seminar on Fuzzy Set Theory by Erich Peter Klement, International Seminar on Fuzzy Set Theory, Johannes Kepler Universität Linz - 1981 - 251 pages
Proceedings of the Third Scandinavian Logic Symposium by Stig Kanger - 1975 - 214 pages
Proceedings of the Third Scandinavian Logic Symposium - 1975 - 214 pages
Proceedings of the Twentieth International Symposium on Multiple-Valued Logic - 1990 - 452 pages
Program development using refinement logic by Peter Vanderbilt - 1984 - 342 pages
Programs for structured proofs by Lee Harrison Blaine - 1980 - 234 pages
Proof Analysis by Sara Negri, Jan von Plato - 2011 - 265 pages
Proof And Disproof in Formal Logic by Richard Bornat - 2005 - 243 pages
Proof And Disproof in Formal Logic by Richard Bornat - 2005 - 243 pages
Proof and truth in mathematics by Hugh M. Lacey - 1963 - 390 pages
Proof Complexity and Feasible Arithmetics by Dimacs (Group) - 1998 - 320 pages
Proof in mathematics ("if", "then" and "perhaps") by P. R. Baxandall - 1978 - 130 pages
Proof Theory by Gaisi Takeuti - 2013 - 512 pages
Proof Theory by Wolfram Pohlers - 2009 - 370 pages
Proof Theory by Wolfram Pohlers - 1989 - 213 pages
Proof Theory by Wolfram Pohlers - 1989 - 213 pages
Proof Theory and Automated Deduction by Jean Goubault-Larrecq, Ian MacKie - 2001 - 444 pages
Proof theory and logical complexity by Jean-Yves Girard - 1987 - 503 pages
Proof Theory for Fuzzy Logics by George Metcalfe, Nicola Olivetti, Dov M. Gabbay - 2009 - 276 pages
Proof theory of impredicative subsystems of analysis by Wilfried Buchholz, Kurt Schütte - 1988 - 122 pages
Proof Theory of Modal Logic by Heinrich Wansing - 1996 - 317 pages
Proof theory of programming logics by John Philip Privitera - 1981 - 794 pages
Proof, Logic, and Conjecture by Robert S. Wolf - 1998 - 421 pages
Proof, Logic, and Formalization by Michael Detlefsen - 1992 - 241 pages
Proof-theoretic studies of systems of iterated inductive definitions and subsystems of analysis by Jeffery I. Zucker - 1971 - 276 pages
Proof-theoretic studies of systems of iterated inductive definitions and subsystems of analysis by Jeffery I. Zucker - 1971 - 276 pages
Proofs and Fundamentals by Ethan D. Bloch - 2000 - 424 pages
PROOFS AND REFUTATIONS by IMRE AUTOR LAKATOS - 1999
Proofs that Really Count by Arthur Benjamin, Arthur T. Benjamin, Jennifer J. Quinn - 2003 - 194 pages
Proofs that Really Count by Arthur Benjamin, Arthur T. Benjamin, Jennifer J. Quinn - 2003 - 194 pages
Proofs that Really Count by Arthur Benjamin, Arthur T. Benjamin, Jennifer J. Quinn - 2003 - 194 pages
Propensity score matching methods for non-experimental causal studies by Rajeev Harsha Dehejia, Sadek M. Wahba - 1998 - 22 pages
Proper and improper forcing by Saharon Shelah - 1998 - 1020 pages
Proper forcing by Saharon Shelah - 1982 - 496 pages
Propositional and Predicate Calculus a Model of Argument by Derek Goldrei - 2005 - 315 pages
1 2 3 4 5 6 7 8 9 10 11