| 1 - 200 |
|
| Lectures on the Curry-Howard Isomorphism (Studies in Logic and the Foundati ~ Morten Heine Sørensen - Pawel Urzyczyn Elsevier Science Morten Heine Sørensen - Pawel Urzyczyn |
| The Foundations of Mathematics in the Theory of Sets (Encyclopedia of Mathe ~ John P. Mayberry Cambridge University Press John P. Mayberry |
| Brouwer Meets Husserl: On the Phenomenology of Choice Sequences (Synthese L ~ Mark van Atten Kluwer Academic Publishers Mark van Atten |
| Fuzzy Choice Functions: A Revealed Preference Approach (Studies in Fuzzines ~ Irina Georgescu Springer-Verlag Berlin and Heidelberg GmbH & Co. K Irina Georgescu |
| Applications and Theory of Petri Nets: 24th International Conference, Icatp ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K |
| Mathematical Logic: A Course with Exercises: Propositional Calculus, Booela ~ Rene Cori - D. Lascar Oxford University Press Rene Cori - D. Lascar |
| Game Set and Math: Enigmas and Conundrums (Dover Classics of Science & Math ~ Ian Stewart Dover Publications Inc. Ian Stewart |
| Lectures on the Curry-Howard Isomorphism (Studies in Logic and the Foundati ~ Morten Heine Sørensen - Pawel Urzyczyn Elsevier Science Morten Heine Sørensen - Pawel Urzyczyn |
| Schaum's Outline of Logic (Schaum's Outline) ~ John Nolt - Dennis Rohatyn - Achille C. Varzi McGraw-Hill Publishing Co. John Nolt - Dennis Rohatyn ... |
| Information and Randomness: An Algorithmic Perspective (Texts in Theoretica ~ Cristian S. Calude Springer-Verlag Berlin and Heidelberg GmbH & Co. K Cristian S. Calude |
| Introduction to Mathematical Logic ~ Elliott Mendelson CRC Press Inc Elliott Mendelson |
| Vorlesungen Uber Die Algebra Der Logik (Key Works in the History of Logic & ~ Ernst Schroder Thoemmes Continuum Ernst Schroder |
| Intelligent Hybrid Systems: Fuzzy Logic, Neural Networks, and Genetic Algorithms ~ Kluwer Academic Publishers |
| Adavnces in Modal Logic: v. 3 ~ World Scientific Publishing |
| Automated Model Building (Applied Logic) ~ Ricardo Caferra - Alexander Leitsch - Nicolas Peltier Kluwer Academic Publishers Ricardo Caferra - A... |
| Automated Deduction - Cade 21: 21st International Conference on Automated D ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K |
| Petri Nets and Other Models of Concurrency - ICATPN 2007: 28th Internationa ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K |
| Kelly:The Essence of Logic_p (Prentice-Hall Essence of Computing) ~ John Kelly Prentice Hall John Kelly |
| Schaum's Outline of Logic (Schaum's Outline) ~ John Nolt - Dennis Rohatyn - Achille C. Varzi McGraw-Hill Publishing Co. John Nolt - Dennis Rohatyn ... |
| Search for Mathematical Roots, 1870-1940: Logics, Set Theories and the Foun ~ Ivor Grattan-Guinness Princeton University Press Ivor Grattan-Guinness |
| Ones and Zeros: Understanding Boolean Algebra, Digital Circuits and the Log ~ John Gregg John Wiley & Sons Inc John Gregg |
| Theory and Applications of Satisfiability Testing: 6th International Confer ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K |
| Interactive Theorem Proving and Program Development: Coq'Art: the Calculus ~ Yves Bertot - Pierre Casteran Springer-Verlag Berlin and Heidelberg GmbH & Co. K Yves Bertot - Pierr... |
| Soft Computing: Integrating Evolutionary, Neural and Fuzzy Systems ~ Andrea Tettamanzi - Marco Tomassini Springer-Verlag Berlin and Heidelberg GmbH & Co. K Andrea Tettam... |
| Propositional Logic: Deduction and Algorithms (Cambridge Tracts in Theoreti ~ Hans Kleine Buning - Theodor Lettmann Cambridge University Press Hans Kleine Buning - Theodor Lettma... |
| The Oxford Handbook of Philosophy of Mathematics and Logic (Oxford Handbook ~ Oxford University Press Inc, USA |
| The Concept of Logical Consequence (Hume) ~ John Etchemendy Center for the Study of Language and Information John Etchemendy |
| Petri Nets for Systems Engineering: A Guide to Modeling, Verification, and ~ Claude Girault - R. Valk Springer-Verlag Berlin and Heidelberg GmbH & Co. K Claude Girault - R. Valk... |
| Mathematical Logic (Oxford Texts in Logic) ~ Ian Chiswell - Wilfrid Hodges Oxford University Press Ian Chiswell - Wilfrid Hodges |
| Structural Proof Theory ~ Sara Negri - Jan Von Plato Cambridge University Press Sara Negri - Jan Von Plato |
| Set Theory and Its Philosophy: A Critical Introduction ~ Michael Potter Clarendon Press Michael Potter |
| Principia Mathematica to *56 (Cambridge Mathematical Library) (Cambridge Ma ~ Alfred North Whitehead - Bertrand Russell Cambridge University Press Alfred North Whitehead - Bertra... |
| Introducing Logic (Introducing) ~ Sharron Shatil - Dan Cryan - Bill Mayblin Icon Books Ltd Sharron Shatil - Dan Cryan - Bill Mayblin |
| Mind, Meaning and Mathematics: Essays on the Philosophical Views of Husserl ~ Kluwer Academic Publishers |
| The Logic of Provability ~ George Boolos Cambridge University Press George Boolos |
| Mathematical Logic: A Course with Exercises: Recursion Theory, Godel's Theo ~ Rene Cori - D. Lascar Oxford University Press Rene Cori - D. Lascar |
| An Introduction to Godel's Theorems (Cambridge Introductions to Philosophy) ~ Peter Smith Cambridge University Press Peter Smith |
| Cellular Computing (Genomics & Bioinformatics) ~ Oxford University Press Inc, USA |
| The Pea and the Sun: A Mathematical Paradox ~ Leonard M. Wapner A K Peters Leonard M. Wapner |
| Logic, Induction and Sets (London Mathematical Society Student Texts) ~ Thomas Forster Cambridge University Press Thomas Forster |
| Handbook of Combinatorial Designs (Discrete Mathematics and Its Application ~ Jeffrey H. Dinitz - C.J. Colbourn CRC Press Inc Jeffrey H. Dinitz - C.J. Colbourn |
| New Constructions in Cellular Automata (Santa Fe Institute Studies in the S ~ David Griffeath - Cristopher Moore Oxford University Press Inc, USA David Griffeath - Cristopher Moo... |
| Ones and Zeros: Understanding Boolean Algebra, Digital Circuits and the Log ~ John Gregg John Wiley & Sons Inc John Gregg |
| Fuzzy Modeling and Control: Selected Works of M. Sugeno ~ CRC Press Inc |
| Introducing Logic (Introducing) ~ Sharron Shatil - Dan Cryan - Bill Mayblin Icon Books Ltd Sharron Shatil - Dan Cryan - Bill Mayblin |
| Parameterized and Exact Computation: Second International Workshop, IWPEC 2 ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K |
| Model Based Reasoning in Science and Engineering (Logic) ~ College Publications |
| How to Prove It: A Structured Approach ~ Daniel J. Velleman Cambridge University Press Daniel J. Velleman |
| A Course in Model Theory: An Introduction to Contemporary Mathematical Logi ~ Bruno Poizat Springer-Verlag New York Inc. Bruno Poizat |
| The Law of Non-contradiction: New Philosophical Essays ~ Clarendon Press |
| Memoirs of a Proof Theorist: Godel and Other Logicians ~ Mariko Yasugi - Nicholas Passell World Scientific Publishing Mariko Yasugi - Nicholas Passell |
| An Introduction to Godel's Theorems (Cambridge Introductions to Philosophy) ~ Peter Smith Cambridge University Press Peter Smith |
| The Equations: Icons of Knowledge ~ Sander Bais Harvard University Press Sander Bais |
| Mathematical Logic in the 20th Century ~ World Scientific Publishing |
| The Concept of Logical Consequence (Hume) ~ John Etchemendy Center for the Study of Language and Information John Etchemendy |
| The Moment of Proof: Mathematical Epiphanies ~ Donald C. Benson Oxford University Press Inc, USA Donald C. Benson |
| Intermediate Logic ~ David Bostock Oxford University Press David Bostock |
| Logic and Computation: Interactive Proof with Cambridge LCF (Cambridge Trac ~ Lawrence C. Paulson Cambridge University Press Lawrence C. Paulson |
| The Mathematics of Logic: A Guide to Completeness Theorems and Their Applic ~ Richard W. Kaye Cambridge University Press Richard W. Kaye |
| From Frege to Godel: Mathematical Logic, 1879-1931 (Source Books in History ~ Jean van Heijenoort Harvard University Press Jean van Heijenoort |
| The Birth of Model Theory: Lowenheim's Theorem in the Frame of the Theory o ~ Calixto Badesa Princeton University Press Calixto Badesa |
| Logical Dilemmas: The Life and Work of Kurt Godel ~ John W. Dawson A K Peters John W. Dawson |
| Labelled Non-classical Logics ~ Luca Vigano Kluwer Academic Publishers Luca Vigano |
| Mathematical Fallacies and Paradoxes ~ Bryan H. Bunch Dover Publications Inc. Bryan H. Bunch |
| Godel's Proof ~ Ernest Nagel - James R. Newman New York University Press Ernest Nagel - James R. Newman |
| Euclides Vindicatus ~ Girolamo Saccheri American Mathematical Society Girolamo Saccheri |
| A Mathematical Introduction to Logic ~ Herbert B. Enderton Academic Press Herbert B. Enderton |
| To Infinity and Beyond: A Cultural History of the Infinite (Princeton Paper ~ Eli Maor Princeton University Press Eli Maor |
| The Oxford Handbook of Philosophy of Mathematics and Logic (Oxford Handbooks) ~ Oxford University Press Inc, USA |
| Godel's Theorem: An Incomplete Guide to Its Use and Abuse ~ Torkel Franzen A K Peters Torkel Franzen |
| Fuzzy Logic for Beginners ~ Masao Mukaidono World Scientific Publishing Masao Mukaidono |
| Logic ~ Wilfrid Hodges Penguin Books Ltd Wilfrid Hodges |
| Handbook of Logic and Proof Techniques for Computer Science ~ Steven G. Krantz Birkhauser Verlag AG Steven G. Krantz |
| Set Theory and Its Philosophy: A Critical Introduction ~ Michael Potter Clarendon Press Michael Potter |
| Computability and Logic ~ George S. Boolos - John P. Burgess - Richard C. Jeffrey Cambridge University Press George S. Boolos ... |
| Uncertainty-based Information: Elements of Generalized Information Theory ( ~ George J. Klir - Mark J. Wierman Physica-Verlag GmbH & Co George J. Klir - Mark J. Wierman |
| Kurt Godel: Collected Works: Selected Correspondence, A-G Vol 4 (Mathematics) ~ Kurt Godel Clarendon Press Kurt Godel |
| The Dynamics of Judicial Proof: Computation, Logic and Common Sense (Studie ~ Physica-Verlag GmbH & Co |
| Kurt Godel: Correspondence, H-Z: 005 (Collected Works) ~ Kurt Godel Clarendon Press Kurt Godel |
| Handbook of Logic and Proof Techniques for Computer Science ~ Steven G. Krantz Birkhauser Verlag AG Steven G. Krantz |
| DNA Computing: 10th International Workshop on DNA Computing, Dna10, Milan, ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K |
| TITLE NOT SUPPLIED (Ludwig Wittgenstein, Wiener Ausgabe) ~ M. Nedo - L. Wittgenstein Springer-Verlag, Austria M. Nedo - L. Wittgenstein |
| Logic, Induction and Sets (London Mathematical Society Student Texts) ~ Thomas Forster Cambridge University Press Thomas Forster |
| Unifying Petri Nets: Advances in Petri Nets (Lecture Notes in Computer Science) ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K |
| Mind, Meaning and Mathematics: Essays on the Philosophical Views of Husserl ~ Kluwer Academic Publishers |
| Applications and Theory of Petri Nets: 24th International Conference, Icatp ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K |
| The Mathematics of Inheritance Systems (Research Notes in Artificial Intell ~ Touretzky Morgan Kaufmann Publishers Inc,US Touretzky |
| Petri Nets and Other Models of Concurrency - ICATPN 2007: 28th Internationa ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K |
| The Growth of Mathematical Knowledge (Synthese Library) ~ Emily Grosholz Kluwer Academic Publishers Emily Grosholz |
| Numbers and Proofs (Modular Mathematics Series) ~ Reg Allenby Butterworth-Heinemann Reg Allenby |
| Types for Proofs and Programs: International Workshop, Types 2000, Durham, ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K |
| Mathematical Logic (Oxford Texts in Logic) ~ Ian Chiswell - Wilfrid Hodges Oxford University Press Ian Chiswell - Wilfrid Hodges |
| Set Theory and Its Philosophy: A Critical Introduction ~ Michael Potter Clarendon Press Michael Potter |
| Formal Techniques in Real-time and Fault-tolerant Systems: Second Internati ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K |
| Automated Deduction: A Basis for Applications: Systems and Implementation T ~ Kluwer Academic Publishers |
| Memoirs of a Proof Theorist: Godel and Other Logicians ~ Mariko Yasugi - Nicholas Passell World Scientific Publishing Mariko Yasugi - Nicholas Passell |
| Theory and Applications of Satisfiability Testing: 6th International Confer ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K |
| Parameterized and Exact Computation: Second International Workshop, IWPEC 2 ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K |
| The Pea and the Sun: A Mathematical Paradox ~ Leonard M. Wapner A K Peters Leonard M. Wapner |
| Unifying Petri Nets: Advances in Petri Nets (Lecture Notes in Computer Science) ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K |
| Theorem Proving with Analytic Tableaux and Related Methods: 5th Internation ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K |
| Symbolic Logic (AMS Chelsea Publishing) ~ John Venn American Mathematical Society John Venn |
| To Mock a Mockingbird: And Other Logic Puzzles ~ Raymond M. Smullyan Oxford University Press Raymond M. Smullyan |
| The Moment of Proof: Mathematical Epiphanies ~ Donald C. Benson Oxford University Press Inc, USA Donald C. Benson |
| The Continuum: A Critical Examination of the Foundation of Analysis ~ Hermann Weyl Dover Publications Inc. Hermann Weyl |
| Godel's Theorem: An Incomplete Guide to Its Use and Abuse ~ Torkel Franzen A K Peters Torkel Franzen |
| Mathematical Logic in the 20th Century ~ World Scientific Publishing |
| Principia Mathematica to *56 (Cambridge Mathematical Library) (Cambridge Ma ~ Alfred North Whitehead - Bertrand Russell Cambridge University Press Alfred North Whitehead - Bertra... |
| Automated Deduction, Cade-13: 13th International Conference on Automated De ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K |
| Logic and Complexity (Discrete Mathematics & Theoretical Computer Science) ~ Richard Lassaigne - Michel De Rougemont Springer-Verlag London Ltd Richard Lassaigne - Michel De Rou... |
| Automated Deduction, Cade-13: 13th International Conference on Automated De ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K |
| Search for Mathematical Roots, 1870-1940: Logics, Set Theories and the Foun ~ Ivor Grattan-Guinness Princeton University Press Ivor Grattan-Guinness |
| The Law of Non-contradiction: New Philosophical Essays ~ Clarendon Press |
| Game Set and Math: Enigmas and Conundrums (Dover Classics of Science & Math ~ Ian Stewart Dover Publications Inc. Ian Stewart |
| Logic from A to Z: The Routledge Encyclopedia of Philosophy Glossary of Log ~ Michael Detlefsen - David Charles McCarty - John B. Bacon Routledge Michael Detlefsen - David Charle... |
| Automated Deduction - Cade 21: 21st International Conference on Automated D ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K |
| The Mathematics of Inheritance Systems (Research Notes in Artificial Intell ~ Touretzky Morgan Kaufmann Publishers Inc,US Touretzky |
| Intelligent Control: Aspects of Fuzzy Logic and Neural Nets (Series in Robo ~ C.J. Harris - C.G. Moore - M. Brown World Scientific Publishing C.J. Harris - C.G. Moore - M. Brown |
| New Constructions in Cellular Automata (Santa Fe Institute Studies in the S ~ David Griffeath - Cristopher Moore Oxford University Press Inc, USA David Griffeath - Cristopher Moo... |
| DNA Computing: 6th International Workshop on DNA-based Computers, DNA 2000, ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K |
| A Course in Model Theory: An Introduction to Contemporary Mathematical Logi ~ Bruno Poizat Springer-Verlag New York Inc. Bruno Poizat |
| Logic for Computer Scientists (Progress in Computer Science & Applied Logic) ~ Uwe Schoening Birkhauser Verlag AG Uwe Schoening |
| How to Prove It: A Structured Approach ~ Daniel J. Velleman Cambridge University Press Daniel J. Velleman |
| DNA Computing: 10th International Workshop on DNA Computing, Dna10, Milan, ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K |
| Essays on Non-classical Logic: v. 1 (Advances in Logic) ~ World Scientific Publishing |
| Automated Deduction: A Basis for Applications: Systems and Implementation T ~ Kluwer Academic Publishers |
| Applications and Theory of Petri Nets 2002: 23rd International Conference, ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K |
| Fuzzy Sets Engineering ~ Witold Pedrycz CRC Press Inc Witold Pedrycz |
| From Logic to Logic Programming (Foundations of Computing) ~ K Doets MIT Press K Doets |
| A Mathematical Introduction to Logic ~ Herbert B. Enderton Academic Press Herbert B. Enderton |
| Introduction to Logic for Systems Modelling (Information Technology and Systems) ~ Vaclav Pinkava Harwood Academic (Medical, Reference and Social Sc Vaclav Pinkava |
| DNA Computing: 6th International Workshop on DNA-based Computers, DNA 2000, ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K |
| Classical and Fuzzy Concepts in Mathematical Logic and Applications ~ Mircea S. Reghis - Eugene Roventa CRC Press Inc Mircea S. Reghis - Eugene Roventa |
| Mathematical Logic: A Course with Exercises: Recursion Theory, Godel's Theo ~ Rene Cori - D. Lascar Oxford University Press Rene Cori - D. Lascar |
| Model Based Reasoning in Science and Engineering (Logic) ~ College Publications |
| Completeness and Reduction in Algebraic Complexity Theory (Algorithms & Com ~ P. Burgisser Springer-Verlag Berlin and Heidelberg GmbH & Co. K P. Burgisser |
| Developments in Language Theory: 5th International Conference, DLT 2001, Vi ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K |
| Quantifiers, Deduction, and Context (CSLI Lecture Notes) ~ Center for the Study of Language and Information |
| Phenomenology and Logic: The Boston College Lectures on Mathematical Logic ~ Bernard Lonergam University of Toronto Press Bernard Lonergam |
| Logic for Dummies (For Dummies) ~ Mark Zegarelli Hungry Minds Inc,U.S. Mark Zegarelli |
| Introduction to Logic and to the Methodology of Deductive Sciences ~ Alfred Tarksi Dover Publications Inc. Alfred Tarksi |
| ZB 2002, Formal Specification and Development in Z and B: 2nd International ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K |
| Where Mathematics, Computer Science, Linguistics and Biology Meet ~ Kluwer Academic Publishers |
| The Dynamics of Judicial Proof: Computation, Logic and Common Sense (Studie ~ Physica-Verlag GmbH & Co |
| Applications and Theory of Petri Nets 2002: 23rd International Conference, ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K |
| Intelligent Hybrid Systems: Fuzzy Logic, Neural Networks, and Genetic Algorithms ~ Kluwer Academic Publishers |
| Intelligent Control: Aspects of Fuzzy Logic and Neural Nets (Series in Robo ~ C.J. Harris - C.G. Moore - M. Brown World Scientific Publishing C.J. Harris - C.G. Moore - M. Brown |
| The Equations: Icons of Knowledge ~ Sander Bais Harvard University Press Sander Bais |
| Phenomenology and Logic: The Boston College Lectures on Mathematical Logic ~ Bernard Lonergam University of Toronto Press Bernard Lonergam |
| Automated Deduction: A Basis for Applications: Foundations - Calculi and Me ~ Kluwer Academic Publishers |
| Multi-valued Logics (Journal of Applied Non-classical Logics) ~ Hermes,France |
| Logic from A to Z: The Routledge Encyclopedia of Philosophy Glossary of Log ~ Michael Detlefsen - David Charles McCarty - John B. Bacon Routledge Michael Detlefsen - David Charle... |
| Rough Sets in Knowledge Discovery: Applications, Case Studies and Software ~ Physica-Verlag GmbH & Co |
| Typed Lambda Calculi and Applications: 4th International Conference, Tlca'9 ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K |
| Symbolic Logic (AMS Chelsea Publishing) ~ John Venn American Mathematical Society John Venn |
| Kurt Godel: Collected Works: Selected Correspondence, A-G Vol 4 (Mathematics) ~ Kurt Godel Clarendon Press Kurt Godel |
| Fuzzy Logic: A Framework for the New Millennium (Studies in Fuzziness & Sof ~ Physica-Verlag GmbH & Co |
| Serial Data Computation (International Series in Engineering and Computer S ~ Stewart G. Smith - P.B. Denyer Kluwer Academic Publishers Stewart G. Smith - P.B. Denyer |
| Infinity or Not? An Arithmetical Satire ~ Valery Chaldize Universal Publishers,US Valery Chaldize |
| Developments in Language Theory: 5th International Conference, DLT 2001, Vi ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K |
| The Mathematics of Logic: A Guide to Completeness Theorems and Their Applic ~ Richard W. Kaye Cambridge University Press Richard W. Kaye |
| Set Theory and Its Philosophy: A Critical Introduction ~ Michael Potter Clarendon Press Michael Potter |
| Cellular Computing (Genomics & Bioinformatics) ~ Oxford University Press Inc, USA |
| The Oxford Handbook of Philosophy of Mathematics and Logic (Oxford Handbook ~ Oxford University Press Inc, USA |
| Advances in Modal Logic: v. 6 ~ College Publications |
| Collected Papers of Stig Kanger with Essays on His Life and Work: v. 1 (Syn ~ Kluwer Academic Publishers |
| Complexity Classifications of Boolean Constraint Satisfaction Problems (Mon ~ Nadia Creignou - Sanjeev Khanna - Madhu Sudan Society for Industrial & Applied Mathematics,U.S. Nadi... |
| Labelled Non-classical Logics ~ Luca Vigano Kluwer Academic Publishers Luca Vigano |
| TITLE NOT SUPPLIED (Ludwig Wittgenstein, Wiener Ausgabe) ~ M. Nedo - L. Wittgenstein Springer-Verlag, Austria M. Nedo - L. Wittgenstein |
| Algebraic Theory of Automata and Languages ~ Masami Ito World Scientific Publishing Masami Ito |
| Theorem Proving with Analytic Tableaux and Related Methods: 5th Internation ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K |
| Interactive Theorem Proving and Program Development: Coq'Art: the Calculus ~ Yves Bertot - Pierre Casteran Springer-Verlag Berlin and Heidelberg GmbH & Co. K Yves Bertot - Pierr... |
| The Computational Logic Handbook (Perspectives in Computing, Vol 23) ~ Robert S. Boyer - J.Strother Moore Academic Press Inc.,U.S. Robert S. Boyer - J.Strother Moore |
| Where Mathematics, Computer Science, Linguistics and Biology Meet ~ Kluwer Academic Publishers |
| Godel's Proof ~ Ernest Nagel - James R. Newman New York University Press Ernest Nagel - James R. Newman |
| Quantifiers, Deduction, and Context (CSLI Lecture Notes) ~ Center for the Study of Language and Information |
| Logical Structures for Representation of Knowledge and Uncertainty (Studies ~ Ellen Hisdal Physica-Verlag GmbH & Co Ellen Hisdal |
| Infinity or Not? An Arithmetical Satire ~ Valery Chaldize Universal Publishers,US Valery Chaldize |
| The Birth of Model Theory: Lowenheim's Theorem in the Frame of the Theory o ~ Calixto Badesa Princeton University Press Calixto Badesa |
| Adavnces in Modal Logic: v. 3 ~ World Scientific Publishing |
| The Limits of Mathematics: A Course on Information Theory and the Limits of ~ G. J. Chaitin National University of Singapore,Singapore G. J. Chaitin |
| Perspectives on the History of Mathematical Logic ~ Birkhauser Verlag AG |
| Constraint Logic Programming Using Eclipse ~ Krzysztof R. Apt - Mark Wallace Cambridge University Press Krzysztof R. Apt - Mark Wallace |
| To Infinity and Beyond: A Cultural History of the Infinite (Princeton Paper ~ Eli Maor Princeton University Press Eli Maor |
| The Continuum: A Critical Examination of the Foundation of Analysis ~ Hermann Weyl Dover Publications Inc. Hermann Weyl |
| Mathematical Logic: A Course with Exercises: Propositional Calculus, Booela ~ Rene Cori - D. Lascar Oxford University Press Rene Cori - D. Lascar |
| ZB 2002, Formal Specification and Development in Z and B: 2nd International ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K |
| From Frege to Godel: Mathematical Logic, 1879-1931 (Source Books in History ~ Jean van Heijenoort Harvard University Press Jean van Heijenoort |
| Vorlesungen Uber Die Algebra Der Logik (Key Works in the History of Logic & ~ Ernst Schroder Thoemmes Continuum Ernst Schroder |
| Fuzzy Choice Functions: A Revealed Preference Approach (Studies in Fuzzines ~ Irina Georgescu Springer-Verlag Berlin and Heidelberg GmbH & Co. K Irina Georgescu |
| Rough Sets in Knowledge Discovery: Methodology and Applications v. 1 (Studi ~ Physica-Verlag GmbH & Co |
| Logical Dilemmas: Life and Work of Kurt Godel ~ John Dawson A K Peters John Dawson |
| Information, Randomness and Incompleteness: Papers on Algorithmic Informati ~ Gregory J. Chaitin World Scientific Publishing Gregory J. Chaitin |
| Automated Model Building (Applied Logic) ~ Ricardo Caferra - Alexander Leitsch - Nicolas Peltier Kluwer Academic Publishers Ricardo Caferra - A... |
| On Formally Undecidable Propositions of "Principia Mathematica" and Related ~ Kurt Godel Dover Publications Inc. Kurt Godel |
| Complexity Classifications of Boolean Constraint Satisfaction Problems (Mon ~ Nadia Creignou - Sanjeev Khanna - Madhu Sudan Society for Industrial & Applied Mathematics,U.S. Nadi... |
| Propositional Logic: Deduction and Algorithms (Cambridge Tracts in Theoreti ~ Hans Kleine Buning - Theodor Lettmann Cambridge University Press Hans Kleine Buning - Theodor Lettma... |
| Structural Proof Theory ~ Sara Negri - Jan Von Plato Cambridge University Press Sara Negri - Jan Von Plato |
| Fuzzy Thinking: The New Science of Fuzzy Logic ~ Bart Kosko Flamingo Bart Kosko |
| Information, Randomness and Incompleteness: Papers on Algorithmic Informati ~ Gregory J. Chaitin World Scientific Publishing Gregory J. Chaitin |
