Home
 
Business
 
Engineering
 
Architecture
 
Law
 
Mathematics
 
More
 
 
 
677
 
 
Science and Method (Works in the Philosophy of Science 1830-1914)
 
 
 
Course in Computational Number Theory (Textbooks in Mathematical Sciences)
 
 
 
Lectures on the Curry-Howard Isomorphism (Studies in Logic and the Foundations of Mathematics)
 
 
 
Squaring the Circle: The War Between Hobbes and Wallis (Science & Its Conceptual Foundations)
 
 
 
The Foundations of Mathematics in the Theory of Sets (Encyclopedia of Mathematics and Its Applications)
 
 
 
Decrypted Secrets: Methods and Maxims of Cryptology
 
 
 
The Euclidean Division of the Canon: Greek and Latin Sources (Greek & Latin Music Theory)
 
 
 
Brouwer Meets Husserl: On the Phenomenology of Choice Sequences (Synthese Library)
 
 
 
Fuzzy Choice Functions: A Revealed Preference Approach (Studies in Fuzziness & Soft Computing)
 
 
 
Applications and Theory of Petri Nets: 24th International Conference, Icatpn 2003, Eindhoven, the Netherlands, June 23-27, 2003, Proceedings (Lecture Notes in Computer Science)
 
 
 
Belief Revision (Cambridge Tracts in Theoretical Computer Science) (Cambridge Tracts in Theoretical Computer Science)
 
 
 
Ant Colony Optimization and Swarm Intelligence: 5th International Workshop, Ants 2006, Brussels, Belgium, September 4-7, 2006, Proceedings (Lecture Notes in Computer Science)
 
 
 
Two Dimensional Spline Interpolation Algorithms
 
 
 
One Dimensional Spline Interpolation Algorithms
 
 
 
Mathematical Logic: A Course with Exercises: Propositional Calculus, Booelan Algebras, Predicate Calculus, Completeness Theorems Pt.1
 
 
 
Game Set and Math: Enigmas and Conundrums (Dover Classics of Science & Mathematics)
 
 
 
Data Engineering: Fuzzy Mathematics in Systems Theory and Data Analysis
 
 
 
Fuzzy Sets and Their Application to Clustering and Training (International Series on Computational Intelligence)
 
 
 
Prime Numbers: The Most Mysterious Figures in Math
 
 
 
History of Hindu Mathematics
 


      1 - 200

Science and Method (Works in the Philosophy of Science 1830-1914) ~ Jules Henri Poincare Thoemmes Continuum Jules Henri Poincare
Course in Computational Number Theory (Textbooks in Mathematical Sciences) ~ David M. Bressoud - Stan Wagon Springer-Verlag New York Inc. David M. Bressoud - Stan Wagon
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
Squaring the Circle: The War Between Hobbes and Wallis (Science & Its Conce ~ Douglas M. Jesseph University of Chicago Press Douglas M. Jesseph
The Foundations of Mathematics in the Theory of Sets (Encyclopedia of Mathe ~ John P. Mayberry Cambridge University Press John P. Mayberry
Decrypted Secrets: Methods and Maxims of Cryptology ~ Friedrich L. Bauer Springer-Verlag Berlin and Heidelberg GmbH & Co. K Friedrich L. Bauer
The Euclidean Division of the Canon: Greek and Latin Sources (Greek & Latin ~ Andre Barbera University of Nebraska Press Andre Barbera
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
Belief Revision (Cambridge Tracts in Theoretical Computer Science) (Cambrid ~ Cambridge University Press
Ant Colony Optimization and Swarm Intelligence: 5th International Workshop, ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Two Dimensional Spline Interpolation Algorithms ~ Helmuth Spath A K Peters Helmuth Spath
One Dimensional Spline Interpolation Algorithms ~ Helmuth Spath A K Peters Helmuth Spath
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
Data Engineering: Fuzzy Mathematics in Systems Theory and Data Analysis ~ Olaf Wolkenhauer John Wiley & Sons Inc Olaf Wolkenhauer
Fuzzy Sets and Their Application to Clustering and Training (International ~ Beatrice B. Lazzerini CRC Press Inc Beatrice B. Lazzerini
Prime Numbers: The Most Mysterious Figures in Math ~ David Wells John Wiley & Sons Inc David Wells
History of Hindu Mathematics ~ Bibhuthusham Datta - Avadesh Narayan Singh Bharatiya Kala Prakashan,India Bibhuthusham Datta - Avade...
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 ...
Fuzzy Systems Design Principles: Building Fuzzy IfThen Rule Bases: Solving ~ Riza C. Berkan - Sheldon L. Trubatch John Wiley & Sons Riza C. Berkan - Sheldon L. Trubatch
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
Differential and Integral Calculus (AMS Chelsea Publishing) ~ Edmund Landau American Mathematical Society Edmund Landau
Philosophy of Arithmetic: Psychological and Logical Investigations - with S ~ Edmund Husserl Kluwer Academic Publishers Edmund Husserl
Vorlesungen Uber Die Algebra Der Logik (Key Works in the History of Logic & ~ Ernst Schroder Thoemmes Continuum Ernst Schroder
Projective Varieties with Unexpected Properties: A Volume in Memory of Gius ~ Walter de Gruyter & Co
Prelude to Mathematics ~ W.W. Sawyer Dover Publications Inc. W.W. Sawyer
Intelligent Hybrid Systems: Fuzzy Logic, Neural Networks, and Genetic Algorithms ~ Kluwer Academic Publishers
The Advent of the Algorithm: The Idea That Rules the World ~ David Berlinski Harcourt Publishers Ltd College Publishers David Berlinski
Frege: Philosophy of Mathematics ~ Michael Dummett Gerald Duckworth & Co Ltd Michael Dummett
Philosophy of Mathematics: An Introduction to the World of Proofs and Pictu ~ James Robert Brown Routledge James Robert Brown
Fuzzy Logic: The Revolutionary Computer Technology That Is Changing Our World ~ Daniel McNeill - Paul Freiberger Simon & Schuster Ltd Daniel McNeill - Paul Freiberger
Unusual Applications of Number Theory (DIMACS: Series in Discrete Mathemati ~ American Mathematical Society
Georg Cantor: His Mathematics and Philosophy of the Infinite ~ Joseph W. Dauben Princeton University Press Joseph W. Dauben
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...
Bourbaki: A Secret Society of Mathematicians ~ Maurice Mashaal American Mathematical Society Maurice Mashaal
Automated Deduction - Cade 21: 21st International Conference on Automated D ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Introduction to Analytic Number Theory (Undergraduate Texts in Mathematics) ~ Tom M. Apostol Springer-Verlag New York Inc. Tom M. Apostol
Radical Interpretation and Indeterminacy ~ Timothy McCarthy Oxford University Press Inc, USA Timothy McCarthy
Methods of Shape-preserving Spline Approximation ~ Boris I. Kvasov World Scientific Publishing Boris I. Kvasov
Lehrbuch Der Algebra: v. 2 (AMS/Chelsea Publication) ~ Heinrich Weber Oxford University Press Heinrich Weber
Petri Nets and Other Models of Concurrency - ICATPN 2007: 28th Internationa ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Understanding the Many (Studies in Philosophy: Outstanding Dissertations) ~ Byeong-uk Yi Routledge, Inc Byeong-uk Yi
Philosophical Papers: Mathematics, Matter and Method Vol 1 (Philosophical P ~ Cambridge University Press
How Mathematicians Think: Using Ambiguity, Contradiction, and Paradox to Cr ~ William Byers Princeton University Press William Byers
Kelly:The Essence of Logic_p (Prentice-Hall Essence of Computing) ~ John Kelly Prentice Hall John Kelly
Computability: An Introduction to Recursive Function Theory ~ N.J. Cutland Cambridge University Press N.J. Cutland
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
The Philosophy of Mathematics (Hutchinson University Library. Philosophy.) ~ Stephan Korner Dover Publications Inc. Stephan Korner
Belief Revision (Cambridge Tracts in Theoretical Computer Science) (Cambrid ~ Cambridge University Press
Algorithmic Number Theory: 6th International Symposium, Ants-VI, Burlington ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Theory and Applications of Satisfiability Testing: 6th International Confer ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Edmund Husserl's "Origin of Geometry": An Introduction ~ Jacques Derrida - John P. Leavey University of Nebraska Press Jacques Derrida - John P. Leavey
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...
Philosophy of Mathematics: Selected Readings ~ Cambridge University Press
Cognition in Practice: Mind, Mathematics and Culture in Everyday Life (Lear ~ Jean Lave Cambridge University Press Jean Lave
Philosophy of Mathematics: A Contemporary Introduction to the World of Proo ~ James Robert Brown Routledge James Robert Brown
Soft Computing: Integrating Evolutionary, Neural and Fuzzy Systems ~ Andrea Tettamanzi - Marco Tomassini Springer-Verlag Berlin and Heidelberg GmbH & Co. K Andrea Tettam...
Russell, Idealism and the Emergence of Analytic Philosophy (Clarendon Paper ~ Peter Hylton Clarendon Press Peter Hylton
Schaum's Outline of Set Theory and Related Topics (Schaum's Outline) ~ Seymour Lipschutz McGraw-Hill Publishing Co. Seymour Lipschutz
Fermat's Last Theorem (Stranger Than...) ~ Simon Singh HarperPerennial Simon Singh
The Nature and Power of Mathematics (Dover Books on Mathematics) ~ Donald M. Davis Dover Publications Inc. Donald M. Davis
Mathematics: A Concise History and Philosophy (Undergraduate Texts in Mathe ~ W.S. Anglin Springer-Verlag Berlin and Heidelberg GmbH & Co. K W.S. Anglin
The Theory of Algorithms (Mathematics and Its Applications) ~ A.A. Markov - N.M. Nagorny Kluwer Academic Publishers A.A. Markov - N.M. Nagorny
Essays in the History of Lie Groups and Algebraic Groups (History of Mathem ~ Armand Borel American Mathematical Society Armand Borel
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
Recreations in the Theory of Numbers ~ A.H. Beiler Dover Publications Inc. A.H. Beiler
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...
Georg Cantor: His Mathematics and Philosophy of the Infinite ~ Joseph W. Dauben Princeton University Press Joseph W. Dauben
The Concept of Logical Consequence (Hume) ~ John Etchemendy Center for the Study of Language and Information John Etchemendy
Fuzzy Mathematics in Economics and Engineering (Studies in Fuzziness & Soft ~ James J. Buckley - Esfandiar Eslami - Thomas Feuring Physica-Verlag GmbH & Co James J. Buckley - Esf...
A Course in Computational Algebraic Number Theory (Graduate Texts in Mathem ~ Henri Cohen Springer-Verlag Berlin and Heidelberg GmbH & Co. K Henri Cohen
Mathematical Logic (Oxford Texts in Logic) ~ Ian Chiswell - Wilfrid Hodges Oxford University Press Ian Chiswell - Wilfrid Hodges
The Development of Newtonian Calculus in Britain, 1700-1800 ~ Niccolo Guicciardini Cambridge University Press Niccolo Guicciardini
Algorithmic Graph Theory ~ James A. McHugh Prentice-Hall James A. McHugh
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
Journey Through Genius: Great Theorems of Mathematics (Wiley Science Editions) ~ William Dunham John Wiley & Sons Inc William Dunham
Mathematics Education and Language: Interpreting Hermeneutics and Post-Stru ~ Tony Brown Kluwer Academic Publishers Tony Brown
Fuzzy Sets in Decision Analysis, Operations Research and Statistics (Handbo ~ Kluwer Academic Publishers
Principia Mathematica to *56 (Cambridge Mathematical Library) (Cambridge Ma ~ Alfred North Whitehead - Bertrand Russell Cambridge University Press Alfred North Whitehead - Bertra...
Phenomenology, Logic, and the Philosophy of Mathematics ~ Richard L. Tieszen Cambridge University Press Richard L. Tieszen
Introducing Logic (Introducing) ~ Sharron Shatil - Dan Cryan - Bill Mayblin Icon Books Ltd Sharron Shatil - Dan Cryan - Bill Mayblin
Philosophy of Mathematics: An Introduction to the World of Proofs and Pictu ~ James Robert Brown Routledge James Robert Brown
Mind, Meaning and Mathematics: Essays on the Philosophical Views of Husserl ~ Kluwer Academic Publishers
Niels Bohr's Times: In Physics, Philosophy and Polity ~ Abraham Pais Clarendon Press Abraham Pais
The Symbolic Universe: Geometry and Physics, 1890-1930 ~ Oxford University Press
The Shaping of Deduction in Greek Mathematics: A Study in Cognitive History ~ Reviel Netz Cambridge University Press Reviel Netz
Ramanujan: Twelve Lectures on Subjects Suggested by His Life and Work (AMS/ ~ American Mathematical Society
Lectures on the Foundations of Mathematics: Cambridge ~ Ludwig Wittgenstein University of Chicago Press Ludwig Wittgenstein
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
The Fabulous Fibonacci Numbers ~ Alfred S. Posamentier - Ingmar Lehmann Prometheus Books Alfred S. Posamentier - Ingmar Lehmann
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
A Mathematician Reads the Newspaper ~ John Allen Paulos Basic Books Inc.,U.S. John Allen Paulos
Journey Through Genius: Great Theorems of Mathematics (Wiley Science Editions) ~ William Dunham John Wiley & Sons Inc William Dunham
Data Engineering: Fuzzy Mathematics in Systems Theory and Data Analysis ~ Olaf Wolkenhauer John Wiley & Sons Inc Olaf Wolkenhauer
Combinatorial Complexes: A Mathematical Theory of Algorithms (Mathematics & ~ P. Sellers Kluwer Academic Publishers P. Sellers
The Pea and the Sun: A Mathematical Paradox ~ Leonard M. Wapner A K Peters Leonard M. Wapner
Handbook of Combinatorial Designs (Discrete Mathematics and Its Application ~ Jeffrey H. Dinitz - C.J. Colbourn CRC Press Inc Jeffrey H. Dinitz - C.J. Colbourn
Logic, Induction and Sets (London Mathematical Society Student Texts) ~ Thomas Forster Cambridge University Press Thomas Forster
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
Decrypted Secrets: Methods and Maxims of Cryptology ~ Friedrich L. Bauer Springer-Verlag Berlin and Heidelberg GmbH & Co. K Friedrich L. Bauer
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
A Course in Model Theory: An Introduction to Contemporary Mathematical Logi ~ Bruno Poizat Springer-Verlag New York Inc. Bruno Poizat
Thinking About Mathematics: The Philosophy of Mathematics ~ Stewart Shapiro Oxford University Press Stewart Shapiro
How to Prove It: A Structured Approach ~ Daniel J. Velleman Cambridge University Press Daniel J. Velleman
The Law of Non-contradiction: New Philosophical Essays ~ Clarendon Press
The Consistency of the Continuum Hypothesis (Annals of Mathematics Studies) ~ Kurt Godel Princeton University Press Kurt Godel
The Development of Mathematical Skills (Studies in Developmental Psychology) ~ Psychology Press Ltd
Philosophy of Mathematics and Mathematical Practice in the Seventeenth Century ~ Paolo Mancosu Oxford University Press Inc, USA Paolo Mancosu
Turing's World 3.0 for the Macintosh : an Introduction to Computability (Cs ~ Jon Barwise Cambridge University Press Jon Barwise
Mathematics and Music: A Diderot Mathematical Forum ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
An Introduction to Godel's Theorems (Cambridge Introductions to Philosophy) ~ Peter Smith Cambridge University Press Peter Smith
Memoirs of a Proof Theorist: Godel and Other Logicians ~ Mariko Yasugi - Nicholas Passell World Scientific Publishing Mariko Yasugi - Nicholas Passell
An Introduction to Fuzzy Logic for Practical Applications ~ Kazuao Tanaka Springer-Verlag New York Inc. Kazuao Tanaka
The Equations: Icons of Knowledge ~ Sander Bais Harvard University Press Sander Bais
The Man Who Knew Infinity: Life of the Genius Ramanujan ~ Robert Kanigel Abacus Robert Kanigel
The Concept of Logical Consequence (Hume) ~ John Etchemendy Center for the Study of Language and Information John Etchemendy
Mathematical Logic in the 20th Century ~ World Scientific Publishing
Perplexingly Easy: Selected Correspondence Between William Rowan Hamilton a ~ Trinity College,Dublin,Library
Mathematics as Sign (Writing Science) (Writing Science) ~ Brian Rotman Stanford University Press Brian Rotman
Complexity ~ Roger Lewin Macmillan USA Roger Lewin
Infinity and the Mind: The Science and Philosophy of the Infinite (Princeto ~ Rudy Rucker Princeton University Press Rudy Rucker
The Archimedes Codex: Revealing The Secrets Of The World's Greatest Palimps ~ Reviel Netz - William Noel Weidenfeld & Nicolson Reviel Netz - William Noel
From Frege to Godel: Mathematical Logic, 1879-1931 (Source Books in History ~ Jean van Heijenoort Harvard University Press Jean van Heijenoort
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
A History of the Circle: Mathematical Reasoning and the Physical Universe ~ Ernest Zebrowski Rutgers University Press Ernest Zebrowski
Prime Obsession: Bernhard Riemann and the Greatest Unsolved Problem in Math ~ John Derbyshire Henry (Joseph) Press John Derbyshire
John Napier: Logarithm John ~ Lynne Gladstone-Millar NMS Enterprises Limited - Publishing Lynne Gladstone-Millar
The Fabulous Fibonacci Numbers ~ Alfred S. Posamentier - Ingmar Lehmann Prometheus Books Alfred S. Posamentier - Ingmar Lehmann
Algebraic Number Theory and Code Design for Rayleigh Fading Channels (Found ~ F. Oggier - E. Viterbo Now Publishers Inc F. Oggier - E. Viterbo
Concise Introduction to Pure Mathematics (Chapman & Hall/CRC Mathematics) ~ Martin Liebeck Chapman & Hall/CRC Martin Liebeck
Die Grundlagen der Arithmetik ~ Gottlob Frege Koch, Neff & Oetinger & Co Gottlob Frege
Golden Years of Moscow Mathematics (History of Mathematics) ~ American Mathematical Society
Conversations with a Mathematician: Math, Art, Science and the Limits of Reason ~ Gregory J. Chaitin Springer-Verlag London Ltd Gregory J. Chaitin
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
The Knowable and the Unknowable: Modern Science, Nonclassical Thought and t ~ Arkady Plotnitsky University of Michigan Press Arkady Plotnitsky
Labelled Non-classical Logics ~ Luca Vigano Kluwer Academic Publishers Luca Vigano
Mathematical Fallacies and Paradoxes ~ Bryan H. Bunch Dover Publications Inc. Bryan H. Bunch
Ancient and Medieval Traditions in the Exact Sciences: Essays in Memory of ~ Patrick Suppes - J.M. Moravcsik - Henry Mendell University of Chicago Press Patrick Suppes - J.M. Mo...
Euclid's "Phaenomena": A Translation and Study of a Hellenistic Treatise in ~ R.S.D. Thomas American Mathematical Society R.S.D. Thomas
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
Meta Maths: The Quest for Omega ~ Gregory J. Chaitin Atlantic Books Gregory J. Chaitin
Mechanical Intelligence: 523256-v1.gif: Mechanical Intelligence (Advances i ~ North Holland
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
Hyperproof: For Macintosh (CSLI Lecture Notes) ~ Jon Barwise - John Etchemendy Center for the Study of Language and Information Jon Barwise - John Et...
Fuzzy Mathematical Programming and Fuzzy Matrix Games (Studies in Fuzziness ~ C R. Bector - Suresh Chandra Springer-Verlag Berlin and Heidelberg GmbH & Co. K C R. Bector - Suresh...
Bourbaki: A Secret Society of Mathematicians ~ Maurice Mashaal American Mathematical Society Maurice Mashaal
One Dimensional Spline Interpolation Algorithms ~ Helmuth Spath A K Peters Helmuth Spath
Godel's Theorem: An Incomplete Guide to Its Use and Abuse ~ Torkel Franzen A K Peters Torkel Franzen
Nature's Numbers: Discovering Order and Pattern in the Universe (Science Ma ~ Ian Stewart Phoenix (an Imprint of The Orion Publishing Group Ltd ) Ian Stewart
Fuzzy Logic for Beginners ~ Masao Mukaidono World Scientific Publishing Masao Mukaidono
Schaum's Outline of Set Theory and Related Topics (Schaum's Outline) ~ Seymour Lipschutz McGraw-Hill Publishing Co. Seymour Lipschutz
The Lambda Calculus: Its Syntax and Semantics (Studies in Logic and the Fou ~ H.P. Barendregt North Holland H.P. Barendregt
Introduction to Lattices and Order ~ B. A. Davey - H. A. Priestley Cambridge University Press B. A. Davey - H. A. Priestley
The Oxford Handbook of Philosophy of Mathematics and Logic (Oxford Handbooks) ~ Oxford University Press Inc, USA
Learning and Doing Mathematics: Using Polya's Problem-solving Methods for L ~ John Mason Tarquin Publications John Mason
Logic ~ Wilfrid Hodges Penguin Books Ltd Wilfrid Hodges
Basic Category Theory for Computer Scientists (Foundations of Computing) ~ Benjamin C. Pierce The MIT Press Benjamin C. Pierce
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
Visual Thinking in Mathematics ~ Marcus Giaquinto Clarendon Press Marcus Giaquinto
Yearning for the Impossible: The Surprising Truths of Mathematics ~ John Stillwell A K Peters John Stillwell
Primality Testing in Polynomial Time: From Randomized Algorithms to 'Primes ~ M. Dietzfelbinger Springer-Verlag Berlin and Heidelberg GmbH & Co. K M. Dietzfelbinger
Letters to a Young Mathematician (Art of Mentoring) (Art of Mentoring) ~ Ian Stewart Basic Books Inc.,U.S. Ian Stewart
Uncertainty-based Information: Elements of Generalized Information Theory ( ~ George J. Klir - Mark J. Wierman Physica-Verlag GmbH & Co George J. Klir - Mark J. Wierman
Automated Reasoning with Analytic Tableaux and Related Methods: Internation ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Cryptography: An Introduction (Student Mathematical Library) ~ American Mathematical Society
DNA Computing: 10th International Workshop on DNA Computing, Dna10, Milan, ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
The Traveling Salesman Problem: A Guided Tour of Combinatorial Optimization ~ E. L. Lawler - Jan Karel Lenstra - A. H. G. Rinnooy Kan - D. B. Shmoys John Wiley & Sons E. L. Lawle...
Reason's Nearest Kin: Philosophies of Arithmetic from Kant to Carnap ~ Michael Potter Oxford University Press Michael Potter
Lehrbuch Der Algebra: v. 2 (AMS/Chelsea Publication) ~ Heinrich Weber Oxford University Press Heinrich Weber
Logic, Induction and Sets (London Mathematical Society Student Texts) ~ Thomas Forster Cambridge University Press Thomas Forster
Mind, Meaning and Mathematics: Essays on the Philosophical Views of Husserl ~ Kluwer Academic Publishers
Unifying Petri Nets: Advances in Petri Nets (Lecture Notes in Computer Science) ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
The Man Who Knew Infinity: Life of the Genius Ramanujan ~ Robert Kanigel Abacus Robert Kanigel
Fuzzy Sets and Their Application to Clustering and Training (International ~ Beatrice B. Lazzerini CRC Press Inc Beatrice B. Lazzerini
Applications and Theory of Petri Nets: 24th International Conference, Icatp ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Thinking About Mathematics: The Philosophy of Mathematics ~ Stewart Shapiro Oxford University Press Stewart Shapiro
Leonhard Euleri Opera Omnia: Series Prima: Commentationes Analyticae AD The ~ Birkhauser Verlag AG
The Heritage of Thales (Undergraduate Texts in Mathematics) ~ W.S. Anglin - J. Lambek Springer-Verlag New York Inc. W.S. Anglin - J. Lambek
 
      201 - 400

Quantitative Development in Infancy and Early Childhood ~ Oxford University Press Inc, USA
Philosophy of Mathematics and Mathematical Practice in the Seventeenth Century ~ Paolo Mancosu Oxford University Press Inc, USA Paolo Mancosu
Biographia Philosophica ~ Benjamin Martin Thoemmes Continuum Benjamin Martin
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
Mathematical Logic (Oxford Texts in Logic) ~ Ian Chiswell - Wilfrid Hodges Oxford University Press Ian Chiswell - Wilfrid Hodges
Fixing Frege (Princeton Monographs in Philosophy) ~ J. Burgess Princeton University Press J. Burgess
Topos of Music: Geometric Logic of Concepts, Theory and Performance ~ G. Mazzola Birkhauser Verlag AG G. Mazzola
Ant Colony Optimization and Swarm Intelligence: 5th International Workshop, ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Set Theory and Its Philosophy: A Critical Introduction ~ Michael Potter Clarendon Press Michael Potter
Geometrie Der Beruhrungstransformationen (AMS Chelsea Publishing) ~ Sophus Lie American Mathematical Society Sophus Lie
Untersuchungen Uber Hohere Arithmetik (AMS Chelsea Publishing) ~ Carl Friedrich Gauss American Mathematical Society Carl Friedrich Gauss
Memoirs of a Proof Theorist: Godel and Other Logicians ~ Mariko Yasugi - Nicholas Passell World Scientific Publishing Mariko Yasugi - Nicholas Passell
Category Theory and Computer Science: 7th International Conference, CTCS'97 ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Two Dimensional Spline Interpolation Algorithms ~ Helmuth Spath A K Peters Helmuth Spath
Lehrbuch Der Algebra (Set) (AMS/Chelsea Publication) ~ American Mathematical Society
An Introduction to Fuzzy Logic and Fuzzy Sets (Advances in Soft Computing) ~ James J. Buckley - Esfandiar Eslami Physica-Verlag GmbH & Co James J. Buckley - Esfandiar Eslami
Theory and Applications of Satisfiability Testing: 6th International Confer ~ 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
A History of the Circle: Mathematical Reasoning and the Physical Universe ~ Ernest Zebrowski Rutgers University Press Ernest Zebrowski
Squaring the Circle: The War Between Hobbes and Wallis (Science & Its Conce ~ Douglas M. Jesseph University of Chicago Press Douglas M. Jesseph
The Continuum: A Critical Examination of the Foundation of Analysis ~ Hermann Weyl Dover Publications Inc. Hermann Weyl
Logic and Complexity (Discrete Mathematics & Theoretical Computer Science) ~ Richard Lassaigne - Michel De Rougemont Springer-Verlag London Ltd Richard Lassaigne - Michel De Rou...
Representation and Productive Ambiguity in Mathematics and the Sciences ~ Emily R. Grosholz Clarendon Press Emily R. Grosholz
The Language of First-Order Logic, Including the Macintosh Program Tarski's ~ Jon Barwise - John Etchemendy Center for the Study of Language and Information Jon Barwise - John Et...
Introduction to Networks and Algorithms ~ A. Dolan - J. Aldous John Wiley and Sons Ltd A. Dolan - J. Aldous
The Law of Non-contradiction: New Philosophical Essays ~ Clarendon Press
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...
Russell, Idealism and the Emergence of Analytic Philosophy (Clarendon Paper ~ Peter Hylton Clarendon Press Peter Hylton
The Mathematics of Inheritance Systems (Research Notes in Artificial Intell ~ Touretzky Morgan Kaufmann Publishers Inc,US Touretzky
Mathematics as Sign (Writing Science) (Writing Science) ~ Brian Rotman Stanford University Press Brian Rotman
Leonhard Euleri Opera Omnia: Series Prima: Commentationes Analyticae AD The ~ Birkhauser Verlag AG
Analytic Number Theory: a Tribute to Gauss and Dirichlet (Clay Mathematics ~ American Mathematical Society
Principia Mathematica 3 Volume Set: v. 1-3 ~ Alfred North Whitehead - Bertrand Russell Cambridge University Press Alfred North Whitehead - Bertra...
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...
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
Essays on Non-classical Logic: v. 1 (Advances in Logic) ~ World Scientific Publishing
Philosophy of Arithmetic: Psychological and Logical Investigations - with S ~ Edmund Husserl Kluwer Academic Publishers Edmund Husserl
Newton's "Principia" for the Common Reader ~ S. Chandrasekhar Clarendon Press S. Chandrasekhar
Companion Encyclopedia of the History and Philosophy of the Mathematical Sc ~ Johns Hopkins University Press
A Mathematical Introduction to Logic ~ Herbert B. Enderton Academic Press Herbert B. Enderton
Converging Realities: Toward a Common Philosophy of Physics and Mathematics ~ R. Omnes Princeton University Press R. Omnes
Applied and Algorithmic Graph Theory ~ G. Chartrand - Ortrud Oellermann McGraw-Hill Education G. Chartrand - Ortrud Oellermann
Introduction to Logic for Systems Modelling (Information Technology and Systems) ~ Vaclav Pinkava Harwood Academic (Medical, Reference and Social Sc Vaclav Pinkava
Euclid's "Phaenomena": A Translation and Study of a Hellenistic Treatise in ~ R.S.D. Thomas American Mathematical Society R.S.D. Thomas
Mathematics Education and Language: Interpreting Hermeneutics and Post-Stru ~ Tony Brown Kluwer Academic Publishers Tony Brown
Understanding the Many (Studies in Philosophy: Outstanding Dissertations) ~ Byeong-uk Yi Routledge, Inc Byeong-uk Yi
Ten Years of Concurrency Semantics: Selected Papers of the Amsterdam Concur ~ World Scientific Publishing
Connections: The Geometric Bridge Between Art and Science ~ Jay Kappraff McGraw-Hill Education Jay Kappraff
Number-theoretic Algorithms in Cryptography (Translations of Mathematical M ~ O.N. Vasilenko American Mathematical Society O.N. Vasilenko
Fuzzy Logic for Business, Finance, and Management (Advances in Fuzzy System ~ George Bojadziev - Maria Bojadziev World Scientific Publishing George Bojadziev - Maria Bojadziev
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
The Philosophy of Mathematics (Hutchinson University Library. Philosophy.) ~ Stephan Korner Dover Publications Inc. Stephan Korner
Recreations in the Theory of Numbers ~ A.H. Beiler Dover Publications Inc. A.H. Beiler
Model Based Reasoning in Science and Engineering (Logic) ~ College Publications
The Non-Euclidean Revolution ~ Richard J. Trudeau Birkhauser Verlag AG Richard J. Trudeau
Developments in Language Theory: 5th International Conference, DLT 2001, Vi ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
The Golden Ratio: The Story of Phi, the Extraordinary Number of Nature, Art ~ Mario Livio Headline Review Mario Livio
Equivalence and Priority: Newton Versus Leibniz, Including Leibniz's Unpubl ~ Domenico Bertoloni Meli Clarendon Press Domenico Bertoloni Meli
Phenomenology and Logic: The Boston College Lectures on Mathematical Logic ~ Bernard Lonergam University of Toronto Press Bernard Lonergam
Automated Reasoning with Analytic Tableaux and Related Methods: Internation ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Logic for Dummies (For Dummies) ~ Mark Zegarelli Hungry Minds Inc,U.S. Mark Zegarelli
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
Mathematics and Music: A Diderot Mathematical Forum ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Methods of Shape-preserving Spline Approximation ~ Boris I. Kvasov World Scientific Publishing Boris I. Kvasov
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
Fuzzy Classifier Design (Studies in Fuzziness & Soft Computing) ~ Ludmila I. Kuncheva Physica-Verlag GmbH & Co Ludmila I. Kuncheva
Combinatorial Complexes: A Mathematical Theory of Algorithms (Mathematics & ~ P. Sellers Kluwer Academic Publishers P. Sellers
The Equations: Icons of Knowledge ~ Sander Bais Harvard University Press Sander Bais
Yearning for the Impossible: The Surprising Truths of Mathematics ~ John Stillwell A K Peters John Stillwell
Number-theoretic Algorithms in Cryptography (Translations of Mathematical M ~ O.N. Vasilenko American Mathematical Society O.N. Vasilenko
Untersuchungen Uber Hohere Arithmetik (AMS Chelsea Publishing) ~ Carl Friedrich Gauss American Mathematical Society Carl Friedrich Gauss
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...
Leonhard Euleri Opera Omnia: Series Prima: Commentationes Algebraicae AD Th ~ Birkhauser Verlag AG
Computability: An Introduction to Recursive Function Theory ~ N.J. Cutland Cambridge University Press N.J. Cutland
Classical Probability in the Enlightenment ~ Lorraine J. Daston Princeton University Press Lorraine J. Daston
Visual Thinking in Mathematics ~ Marcus Giaquinto Clarendon Press Marcus Giaquinto
Handbook on Splines for the User ~ Eugene V. Shikin - Alexander I. Plis CRC Press Inc Eugene V. Shikin - Alexander I. Plis
Kurt Godel: Collected Works: Selected Correspondence, A-G Vol 4 (Mathematics) ~ Kurt Godel Clarendon Press Kurt Godel
The Non-local Universe: The New Physics and Matters of the Mind ~ Robert L. Nadeau - Menas Kafatos Oxford University Press Inc, USA Robert L. Nadeau - Menas Kafatos
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
Principia Mathematica 3 Volume Set: v. 1-3 ~ Alfred North Whitehead - Bertrand Russell Cambridge University Press Alfred North Whitehead - Bertra...
Converging Realities: Toward a Common Philosophy of Physics and Mathematics ~ R. Omnes Princeton University Press R. Omnes
Solved Numerical Problems in Financial Management ~ Manu Agarwal Kalpaz Publications,India Manu Agarwal
Analysis and Evaluation of Fuzzy Systems (International Series in Intellige ~ Akira Ishikawa - Terry L. Wilson Kluwer Academic Publishers Akira Ishikawa - Terry L. Wilson
The Theory of Algorithms (Mathematics and Its Applications) ~ A.A. Markov - N.M. Nagorny Kluwer Academic Publishers A.A. Markov - N.M. Nagorny
Cellular Computing (Genomics & Bioinformatics) ~ Oxford University Press Inc, USA
The Lambda Calculus: Its Syntax and Semantics (Studies in Logic and the Fou ~ H.P. Barendregt North Holland H.P. Barendregt
The Oxford Handbook of Philosophy of Mathematics and Logic (Oxford Handbook ~ Oxford University Press Inc, USA
Five More Golden Rules: Knots, Codes, Chaos and Other Great Theories of 20t ~ John L. Casti John Wiley & Sons Inc John L. Casti
Order, Disorder and Chaos in Quantum Systems (Operator Theory: Advances and ~ Birkhauser Verlag AG
Algebraic Number Theory and Code Design for Rayleigh Fading Channels (Found ~ F. Oggier - E. Viterbo Now Publishers Inc F. Oggier - E. Viterbo
Complexity Classifications of Boolean Constraint Satisfaction Problems (Mon ~ Nadia Creignou - Sanjeev Khanna - Madhu Sudan Society for Industrial & Applied Mathematics,U.S. Nadi...
Algorithmic Number Theory: 7th International Symposium, Ants-VII, Berlin, G ~ M. Pohst Springer-Verlag Berlin and Heidelberg GmbH & Co. K M. Pohst
TITLE NOT SUPPLIED (Ludwig Wittgenstein, Wiener Ausgabe) ~ M. Nedo - L. Wittgenstein Springer-Verlag, Austria M. Nedo - L. Wittgenstein
Labelled Non-classical Logics ~ Luca Vigano Kluwer Academic Publishers Luca Vigano
Ramanujan: Twelve Lectures on Subjects Suggested by His Life and Work (AMS/ ~ American Mathematical Society
Scientific Computing: Proceedings of the Workshop, 10-12 March 1997, Hong Kong ~ National University of Singapore,Singapore
Theorem Proving with Analytic Tableaux and Related Methods: 5th Internation ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Fermat's Last Theorem ~ Simon Singh Fourth Estate Simon Singh
Foundations of Arithmetic ~ Gottlob Frege Blackwell Publishers Gottlob Frege
Random Iterative Models (Stochastic Modeling and Applied Probability) ~ Marie Duflo Springer-Verlag Berlin and Heidelberg GmbH & Co. K Marie Duflo
Analysis and Evaluation of Fuzzy Systems (International Series in Intellige ~ Akira Ishikawa - Terry L. Wilson Kluwer Academic Publishers Akira Ishikawa - Terry L. Wilson
Philosophical Theories of Probability (Philosophical Issues in Science) ~ Donald Gillies Routledge Donald Gillies
Where Mathematics, Computer Science, Linguistics and Biology Meet ~ Kluwer Academic Publishers
Gesammelte Abhandlungen/collected Works: v. 1 ~ Hans Hahn Springer-Verlag, Austria Hans Hahn
Quantifiers, Deduction, and Context (CSLI Lecture Notes) ~ Center for the Study of Language and Information
Galois Theory (Graduate Texts in Mathematics) ~ Jean-Pierre Escofier Springer-Verlag New York Inc. Jean-Pierre Escofier
Seminaire De Theorie DES Nombres, Paris 1985-86 (Progress in Mathematics) ~ C. Goldstein Birkhauser Verlag AG C. Goldstein
Infinity or Not? An Arithmetical Satire ~ Valery Chaldize Universal Publishers,US Valery Chaldize
The Volterra Chronicles: The Life and Times of an Extraordinary Mathematici ~ Judith R. Goodstein American Mathematical Society Judith R. Goodstein
Adavnces in Modal Logic: v. 3 ~ World Scientific Publishing
Squaring the Circle: The War Between Hobbes and Wallis (Science & Its Conce ~ Douglas M. Jesseph University of Chicago Press Douglas M. Jesseph
Algorithmic Number Theory: 7th International Symposium, Ants-VII, Berlin, G ~ M. Pohst Springer-Verlag Berlin and Heidelberg GmbH & Co. K M. Pohst
Learning and Doing Mathematics: Using Polya's Problem-solving Methods for L ~ John Mason Tarquin Publications John Mason
Prime Obsession: Bernhard Riemann and the Greatest Unsolved Problem in Math ~ John Derbyshire Henry (Joseph) Press John Derbyshire
Revolutions in Mathematics ~ Clarendon Press
The Continuum: A Critical Examination of the Foundation of Analysis ~ Hermann Weyl Dover Publications Inc. Hermann Weyl
Lectures on the Foundations of Mathematics: Cambridge ~ Ludwig Wittgenstein University of Chicago Press Ludwig Wittgenstein
ZB 2002, Formal Specification and Development in Z and B: 2nd International ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
The Development of Mathematical Skills (Studies in Developmental Psychology) ~ Psychology Press Ltd
Leonhard Euleri Opera Omnia: Series Prima: Commentationes Analyticae AD The ~ Birkhauser Verlag AG
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
Philosophy of Arithmetic: Psychological and Logical Investigations - with S ~ Edmund Husserl Kluwer Academic Publishers Edmund Husserl
The Euclidean Division of the Canon: Greek and Latin Sources (Greek & Latin ~ Andre Barbera University of Nebraska Press Andre Barbera
Archaic Bookkeeping: Early Writing and Techniques of Economic Administratio ~ Hans J. Nissen - Peter Damerow - Robert K. Englund University of Chicago Press Hans J. Nissen - Pete...
Handbook on Splines for the User ~ Eugene V. Shikin - Alexander I. Plis CRC Press Inc Eugene V. Shikin - Alexander I. Plis
The Symbolic Universe: Geometry and Physics, 1890-1930 ~ Oxford University Press
Information, Randomness and Incompleteness: Papers on Algorithmic Informati ~ Gregory J. Chaitin World Scientific Publishing Gregory J. Chaitin
On Formally Undecidable Propositions of "Principia Mathematica" and Related ~ Kurt Godel Dover Publications Inc. Kurt Godel
Information, Randomness and Incompleteness: Papers on Algorithmic Informati ~ Gregory J. Chaitin World Scientific Publishing Gregory J. Chaitin
Vorlesungen Uber Invariantentheorie ~ Paul Gordan American Mathematical Society Paul Gordan
Quantitative Development in Infancy and Early Childhood ~ Oxford University Press Inc, USA
Reason's Nearest Kin: Philosophies of Arithmetic from Kant to Carnap ~ Michael Potter Oxford University Press Michael Potter
Lehrbuch Der Algebra (Set) (AMS/Chelsea Publication) ~ American Mathematical Society
Mathematics of Quantum Computation (Computational Mathematics) ~ R. Brylinski CRC Press Inc R. Brylinski
Leonhard Euleri Opera Omnia: Series Prima: Commentationes Analyticae AD The ~ Birkhauser Verlag AG
Theory and Applications of Satisfiability Testing: 8th International Confer ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
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...
Quantum Logic (Discrete Mathematics & Theoretical Computer Science) ~ K. Svozil National University of Singapore,Singapore K. Svozil
An Introduction to Fuzzy Logic and Fuzzy Sets (Advances in Soft Computing) ~ James J. Buckley - Esfandiar Eslami Physica-Verlag GmbH & Co James J. Buckley - Esfandiar Eslami
Mathematics and Sports (Mathematical World) ~ L.E. Sadovskii - A.L. Sadovskii American Mathematical Society L.E. Sadovskii - A.L. Sadovskii
Quest: An Autobiography (AMS Chelsea Publishing) ~ Leopold Infeld American Mathematical Society Leopold Infeld
Diophantine Equations and Power Integral Bases in Algebraic Number Fields: ~ Istvan Gaal Birkhauser Verlag AG Istvan Gaal
Philosophy of Mathematics: An Introduction to the World of Proofs and Pictu ~ James Robert Brown Routledge James Robert Brown
Fleeting Footsteps: Tracing the Conception of Arithmetic and Algebra in Anc ~ Lam Lay Yong - Ang Tian Se World Scientific Publishing Lam Lay Yong - Ang Tian Se
Algorithmic Number Theory: 6th International Symposium, Ants-VI, Burlington ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Logistics Dictionary: Fachworter Der Logistik ~ J. Kiesel Wiley-VCH J. Kiesel
Logic, Semantics, Metamathematics: Papers from 1923-38 ~ Alfred Tarski - John Corcoran Hackett Publishing Co, Inc Alfred Tarski - John Corcoran
Euclides Vindicatus ~ Girolamo Saccheri American Mathematical Society Girolamo Saccheri
Advances in Modal Logic: v. 6 ~ College Publications
Logic and Knowledge Representation: Introduction for Systems Analysts ~ Alwyn Jones Financial Times Prentice Hall Alwyn Jones
Representation and Productive Ambiguity in Mathematics and the Sciences ~ Emily R. Grosholz Clarendon Press Emily R. Grosholz
The Language of Mathematics: Making the Invisible Visible ~ Keith J. Devlin W.H.Freeman & Co Ltd Keith J. Devlin
Handbook of Combinatorial Designs (Discrete Mathematics and Its Application ~ Jeffrey H. Dinitz - C.J. Colbourn CRC Press Inc Jeffrey H. Dinitz - C.J. Colbourn
International Library of Philosophy: Set E (International Library of Philosophy) ~ William C. Madsen Routledge William C. Madsen
Companion Encyclopedia of the History and Philosophy of the Mathematical Sc ~ Johns Hopkins University Press
Fuzzy Logic: A Framework for the New Millennium (Studies in Fuzziness & Sof ~ Physica-Verlag GmbH & Co
Introduction to Logic and to the Methodology of Deductive Sciences ~ Alfred Tarksi Dover Publications Inc. Alfred Tarksi
Philosophical Theories of Probability (Philosophical Issues in Science) ~ Donald Gillies Routledge Donald Gillies
Revolutions in Mathematics ~ Clarendon Press
Fuzzy Sets in Decision Analysis, Operations Research and Statistics (Handbo ~ Kluwer Academic Publishers
Perplexingly Easy: Selected Correspondence Between William Rowan Hamilton a ~ Trinity College,Dublin,Library
Isaac Newton's Natural Philosophy (Dibner Institute Studies in the History ~ The MIT Press
Essays in the History of Lie Groups and Algebraic Groups (History of Mathem ~ Armand Borel American Mathematical Society Armand Borel
Philosophical Papers: Mathematics, Matter and Method Vol 1 (Philosophical P ~ Cambridge University Press
Logical Structures for Representation of Knowledge and Uncertainty (Studies ~ Ellen Hisdal Physica-Verlag GmbH & Co Ellen Hisdal
An Introduction to Fuzzy Logic for Practical Applications ~ Kazuao Tanaka Springer-Verlag New York Inc. Kazuao Tanaka
A Half-century of Automata Theory: Celebration and Inspiration ~ World Scientific Publishing
Algorithms and Complexity: 5th Italian Conference, CIAC 2003, Rome, Italy, ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
The Invention of Infinity: Mathematics and Art in the Renaissance ~ J.V. Field Oxford University Press J.V. Field
Topos of Music: Geometric Logic of Concepts, Theory and Performance ~ G. Mazzola Birkhauser Verlag AG G. Mazzola
The Oxford Handbook of Philosophy of Mathematics and Logic (Oxford Handbooks) ~ Oxford University Press Inc, USA
Information and Randomness: An Algorithmic Perspective (Texts in Theoretica ~ Cristian S. Calude Springer-Verlag Berlin and Heidelberg GmbH & Co. K Cristian S. Calude
Computability and Logic ~ George S. Boolos - John P. Burgess - Richard C. Jeffrey Cambridge University Press George S. Boolos ...
Fuzzy Modeling with Spatial Information for Geographic Problems ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Fuzzy and Multiobjective Games for Conflict Resolution (Studies in Fuzzines ~ Ichiro Nishizaki - Masatoshi Sakawa Physica-Verlag GmbH & Co Ichiro Nishizaki - Masatoshi Sakawa
Kurt Godel: Collected Works: Selected Correspondence, A-G Vol 4 (Mathematics) ~ Kurt Godel Clarendon Press Kurt Godel
Kurt Godel: Correspondence, H-Z: 005 (Collected Works) ~ Kurt Godel Clarendon Press Kurt Godel
The Dynamics of Judicial Proof: Computation, Logic and Common Sense (Studie ~ Physica-Verlag GmbH & Co
Handbook of Logic and Proof Techniques for Computer Science ~ Steven G. Krantz Birkhauser Verlag AG Steven G. Krantz
TITLE NOT SUPPLIED (Ludwig Wittgenstein, Wiener Ausgabe) ~ M. Nedo - L. Wittgenstein Springer-Verlag, Austria M. Nedo - L. Wittgenstein
Similarity and Compatibility in Fuzzy Set Theory: Assessment and Applicatio ~ Valerie V. Cross - Thomas A. Sudkamp Physica-Verlag GmbH & Co Valerie V. Cross - Thomas A. Sudkamp
Where Mathematics Comes from: How the Embodied Mind Brings Mathematics into ~ George Lakoff - Rafael Nunez Basic Books Inc.,U.S. George Lakoff - Rafael Nunez
The Collected Mathematical Papers of James Joseph Sylvester: v. 4 (AMS Chel ~ James Joseph Sylvester American Mathematical Society James Joseph Sylvester
Mathematics: A Concise History and Philosophy (Undergraduate Texts in Mathe ~ W.S. Anglin Springer-Verlag Berlin and Heidelberg GmbH & Co. K W.S. Anglin
The Mathematics of Inheritance Systems (Research Notes in Artificial Intell ~ Touretzky Morgan Kaufmann Publishers Inc,US Touretzky
Newton's "Principia" for the Common Reader ~ S. Chandrasekhar Clarendon Press S. Chandrasekhar
Platonism and Anti-platonism in Mathematics ~ Mark Balaguer Oxford University Press Inc, USA Mark Balaguer
Lehrbuch Der Algebra: v. 1 (AMS/Chelsea Publication) ~ Oxford University Press
Geometrie Der Beruhrungstransformationen (AMS Chelsea Publishing) ~ Sophus Lie American Mathematical Society Sophus Lie
Labyrinth of Thought: A History of Set Theory and Its Role in Modern Mathem ~ Jose Ferreiros Birkhauser Verlag AG Jose Ferreiros
Coincidences, Chaos and All That Math Jazz: Making Light of Weighty Ideas ~ E.B. Burger - Michael Starbird W W Norton & Co Ltd E.B. Burger - Michael Starbird
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
The Language of First-Order Logic, Including the Macintosh Program Tarski's ~ Jon Barwise - John Etchemendy Center for the Study of Language and Information Jon Barwise - John Et...
 
      401 - 600

Mathematical Papers by William Kingdon Clifford (AMS Chelsea Publishing) ~ American Mathematical Society
Diophantine Equations and Power Integral Bases in Algebraic Number Fields: ~ Istvan Gaal Birkhauser Verlag AG Istvan Gaal
Die Geometrische Revolution ~ Richard J. Trudeau Birkhauser Verlag AG Richard J. Trudeau
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
The Invention of Infinity: Mathematics and Art in the Renaissance ~ J.V. Field Oxford University Press J.V. Field
Philosophy of Mathematics: An Introduction to the World of Proofs and Pictu ~ James Robert Brown Routledge James Robert Brown
Quest: An Autobiography (AMS Chelsea Publishing) ~ Leopold Infeld American Mathematical Society Leopold Infeld
Parameterized and Exact Computation: Second International Workshop, IWPEC 2 ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Cryptography: An Introduction (Student Mathematical Library) ~ American Mathematical Society
Unifying Petri Nets: Advances in Petri Nets (Lecture Notes in Computer Science) ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Fixing Frege (Princeton Monographs in Philosophy) ~ J. Burgess Princeton University Press J. Burgess
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
History of Hindu Mathematics ~ Bibhuthusham Datta - Avadesh Narayan Singh Bharatiya Kala Prakashan,India Bibhuthusham Datta - Avade...
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
Mathematics as Sign (Writing Science) (Writing Science) ~ Brian Rotman Stanford University Press Brian Rotman
Automated Deduction, Cade-13: 13th International Conference on Automated De ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
An Introduction to Cryptography (CRC Press Series on Discrete Mathematics & ~ Richard A. Mollin CRC Press Inc Richard A. Mollin
The Music of the Primes: Why an Unsolved Problem in Mathematics Matters ~ Marcus du Sautoy Fourth Estate Marcus du Sautoy
Search for Mathematical Roots, 1870-1940: Logics, Set Theories and the Foun ~ Ivor Grattan-Guinness Princeton University Press Ivor Grattan-Guinness
Game Set and Math: Enigmas and Conundrums (Dover Classics of Science & Math ~ Ian Stewart Dover Publications Inc. Ian Stewart
Automated Deduction - Cade 21: 21st International Conference on Automated D ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Computational Learning and Cognition: Proceedings of the Third NEC Symposium ~ Society for Industrial & Applied Mathematics,U.S.
Solved Numerical Problems in Financial Management ~ Manu Agarwal Kalpaz Publications,India Manu Agarwal
Similarity and Compatibility in Fuzzy Set Theory: Assessment and Applicatio ~ Valerie V. Cross - Thomas A. Sudkamp Physica-Verlag GmbH & Co Valerie V. Cross - Thomas A. Sudkamp
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
Mathematics and Necessity: Essays in the History of Philosophy (Proceedings ~ Oxford University Press
Oeuvres Completes/Collected Papers: v. 1 & 2 ~ Thomas J. Stieltjes Springer-Verlag Berlin and Heidelberg GmbH & Co. K Thomas J. Stieltjes
Queen of Mathematics ~ Jay Goldman A K Peters Jay Goldman
DNA Computing: 6th International Workshop on DNA-based Computers, DNA 2000, ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Logic, Semantics, Metamathematics: Papers from 1923-38 ~ Alfred Tarski - John Corcoran Hackett Publishing Co, Inc Alfred Tarski - John Corcoran
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
Galois Theory (Graduate Texts in Mathematics) ~ Jean-Pierre Escofier Springer-Verlag New York Inc. Jean-Pierre Escofier
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
Models of Sharing Graphs: A Categorical Semantics of Let and Letrec (Distin ~ Masahito Hasegawa Springer-Verlag London Ltd Masahito Hasegawa
Zero: The Biography of a Dangerous Idea ~ Charles Seife Souvenir Press Ltd Charles Seife
Introduction to Lattices and Order ~ B. A. Davey - H. A. Priestley Cambridge University Press B. A. Davey - H. A. Priestley
DNA Computing: 6th International Workshop on DNA-based Computers, DNA 2000, ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Computational Learning and Cognition: Proceedings of the Third NEC Symposium ~ Society for Industrial & Applied Mathematics,U.S.
Coincidences, Chaos and All That Math Jazz: Making Light of Weighty Ideas ~ E.B. Burger - Michael Starbird W W Norton & Co Ltd E.B. Burger - Michael Starbird
Conversations with a Mathematician: Math, Art, Science and the Limits of Reason ~ Gregory J. Chaitin Springer-Verlag London Ltd Gregory J. Chaitin
Platonism and Anti-platonism in Mathematics ~ Mark Balaguer Oxford University Press Inc, USA Mark Balaguer
Random Iterative Models (Stochastic Modeling and Applied Probability) ~ Marie Duflo Springer-Verlag Berlin and Heidelberg GmbH & Co. K Marie Duflo
Recursive Algorithms (Ablex Series in Computational Sciences) ~ Richard J. Lorentz Intellect Books Richard J. Lorentz
Frege: Philosophy of Mathematics ~ Michael Dummett Gerald Duckworth & Co Ltd Michael Dummett
The Mathematical Philosophy of Bertrand Russell: Origins and Development ~ F.A.Rodriguez- Consuegra Birkhauser Verlag AG F.A.Rodriguez- Consuegra
Nature's Numbers: Discovering Order and Pattern in the Universe (Science Ma ~ Ian Stewart Phoenix (an Imprint of The Orion Publishing Group Ltd ) Ian Stewart
Das Kontinuum Und Andere Monographien (AMS Chelsea Publishing) ~ Hermann Weyl - Edmund Landau - B. Riemann American Mathematical Society Hermann Weyl - Edmund Landau...
Completeness and Reduction in Algebraic Complexity Theory (Algorithms & Com ~ P. Burgisser Springer-Verlag Berlin and Heidelberg GmbH & Co. K P. Burgisser
Recursive Algorithms (Ablex Series in Computational Sciences) ~ Richard J. Lorentz Intellect Books Richard J. Lorentz
Music of the Primes [2006] ~ David Okuefuna Open University Worldwide David Okuefuna
Quantifiers, Deduction, and Context (CSLI Lecture Notes) ~ Center for the Study of Language and Information
Introduction to Logic and to the Methodology of Deductive Sciences ~ Alfred Tarksi Dover Publications Inc. Alfred Tarksi
Letters to a Young Mathematician (Art of Mentoring) (Art of Mentoring) ~ Ian Stewart Basic Books Inc.,U.S. Ian Stewart
Mechanical Intelligence: 523256-v1.gif: Mechanical Intelligence (Advances i ~ North Holland
Lehrbuch Der Algebra: v. 1 (AMS/Chelsea Publication) ~ Oxford University Press
Political Numeracy: A Mathematical Perspective on Voting, Affirmation Actio ~ Michael Meyerson W W Norton & Co Ltd Michael Meyerson
Basic Category Theory for Computer Scientists (Foundations of Computing) ~ Benjamin C. Pierce The MIT Press Benjamin C. Pierce
Archaic Bookkeeping: Early Writing and Techniques of Economic Administratio ~ Hans J. Nissen - Peter Damerow - Robert K. Englund University of Chicago Press Hans J. Nissen - Pete...
The Dynamics of Judicial Proof: Computation, Logic and Common Sense (Studie ~ Physica-Verlag GmbH & Co
Intelligent Hybrid Systems: Fuzzy Logic, Neural Networks, and Genetic Algorithms ~ Kluwer Academic Publishers
Applications and Theory of Petri Nets 2002: 23rd International Conference, ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Differential and Integral Calculus (AMS Chelsea Publishing) ~ Edmund Landau American Mathematical Society Edmund Landau
Leonhard Euleri Opera Omnia: Series Prima: Commentationes Algebraicae AD Th ~ Birkhauser Verlag AG
Philosophy of Arithmetic: Psychological and Logical Investigations - with S ~ Edmund Husserl Kluwer Academic Publishers Edmund Husserl
Unusual Applications of Number Theory (DIMACS: Series in Discrete Mathemati ~ American Mathematical Society
Phenomenology and Logic: The Boston College Lectures on Mathematical Logic ~ Bernard Lonergam University of Toronto Press Bernard Lonergam
Isaac Newton's Natural Philosophy (Dibner Institute Studies in the History ~ The MIT Press
Fearless Symmetry: Exposing the Hidden Patterns of Numbers ~ Avner Ash - Robert Gross Princeton University Press Avner Ash - Robert Gross
Automated Deduction: A Basis for Applications: Foundations - Calculi and Me ~ Kluwer Academic Publishers
The Knowable and the Unknowable: Modern Science, Nonclassical Thought and t ~ Arkady Plotnitsky University of Michigan Press Arkady Plotnitsky
Multi-valued Logics (Journal of Applied Non-classical Logics) ~ Hermes,France
Leonhard Euleri Opera Omnia: Series Prima: Commentationes Analyticae AD The ~ Birkhauser Verlag AG
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
The Archimedes Codex: Revealing The Secrets Of The World's Greatest Palimps ~ Reviel Netz - William Noel Weidenfeld & Nicolson Reviel Netz - William Noel
The Maths Gene: Why Everyone Has It, But Most People Don't Use It ~ Keith J. Devlin Phoenix (an Imprint of The Orion Publishing Group Ltd ) Keith J. Devlin
Zero: The Biography of a Dangerous Idea ~ Charles Seife Souvenir Press Ltd Charles Seife
Symbolic Logic (AMS Chelsea Publishing) ~ John Venn American Mathematical Society John Venn
The Non-Euclidean Revolution ~ Richard J. Trudeau Birkhauser Verlag AG Richard J. Trudeau
Fuzzy Logic: A Framework for the New Millennium (Studies in Fuzziness & Sof ~ Physica-Verlag GmbH & Co
Recursive Algorithms (Ablex Series in Computational Sciences) ~ Richard J. Lorentz Intellect Books Richard J. Lorentz
Infinity or Not? An Arithmetical Satire ~ Valery Chaldize Universal Publishers,US Valery Chaldize
Poincare's Philosophy: From Conventionalism to Phenomenology ~ Elie Zahar Open Court Publishing Co ,U.S. Elie Zahar
Projective Varieties with Unexpected Properties: A Volume in Memory of Gius ~ Walter de Gruyter & Co
John Napier: Logarithm John ~ Lynne Gladstone-Millar NMS Enterprises Limited - Publishing Lynne Gladstone-Millar
Philosophy of Mathematics: Structure and Ontology ~ Stewart Shapiro Oxford University Press Inc, USA Stewart Shapiro
The Mathematics of Logic: A Guide to Completeness Theorems and Their Applic ~ Richard W. Kaye Cambridge University Press Richard W. Kaye
Developments in Language Theory: 5th International Conference, DLT 2001, Vi ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Classical Probability in the Enlightenment ~ Lorraine J. Daston Princeton University Press Lorraine J. Daston
Set Theory and Its Philosophy: A Critical Introduction ~ Michael Potter Clarendon Press Michael Potter
Fuzzy Logic for Business, Finance, and Management (Advances in Fuzzy System ~ George Bojadziev - Maria Bojadziev World Scientific Publishing George Bojadziev - Maria Bojadziev
Discovering Mathematics: The Art of Investigation ~ A. Gardiner Clarendon Press A. Gardiner
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
Fuzzy Classifier Design (Studies in Fuzziness & Soft Computing) ~ Ludmila I. Kuncheva Physica-Verlag GmbH & Co Ludmila I. Kuncheva
Concise Introduction to Pure Mathematics (Chapman & Hall/CRC Mathematics) ~ Martin Liebeck Chapman & Hall/CRC Martin Liebeck
Elliptic Curves in Cryptography (London Mathematical Society Lecture Note) ~ I. Blake - Gadiel Seroussi - Nigel P. Smart Cambridge University Press I. Blake - Gadiel Seroussi - ...
Leonhard Euleri Opera Omnia: Series Prima: Commentationes Analyticae AD The ~ Birkhauser Verlag AG
Algebraic Theory of Automata and Languages ~ Masami Ito World Scientific Publishing Masami Ito
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
Bertrand Russell: Introduction to Mathematical Philosophy (Longman Library ~ Bertrand Russell - Dale Jacquette - Daniel Kolak Longman Bertrand Russell - Dale Jacquette - Daniel ...
Mathematics in Nature: Modeling Patterns in the Natural World ~ John A. Adam Princeton University Press John A. Adam
Godel's Proof ~ Ernest Nagel - James R. Newman New York University Press Ernest Nagel - James R. Newman
Industrial Application of Electromagnetic Computer Codes: Lectures (Eurocou ~ Kluwer Academic Publishers
The Golden Ratio: The Story of Phi, the Extraordinary Number of Nature, Art ~ Mario Livio Headline Review Mario Livio
Golden Years of Moscow Mathematics (History of Mathematics) ~ American Mathematical Society
H-Infinity Control for Distributed Parameter Systems: A State-Space Approac ~ Bert van Keulen Birkhauser Verlag AG Bert van Keulen
Elementary Number Theory (Springer Undergraduate Mathematics) ~ Gareth A. Jones - J.Mary Jones Springer-Verlag Berlin and Heidelberg GmbH & Co. K Gareth A. Jones - ...
Logical Structures for Representation of Knowledge and Uncertainty (Studies ~ Ellen Hisdal Physica-Verlag GmbH & Co Ellen Hisdal
The Birth of Model Theory: Lowenheim's Theorem in the Frame of the Theory o ~ Calixto Badesa Princeton University Press Calixto Badesa
Seminaire De Theorie DES Nombres, Paris 1985-86 (Progress in Mathematics) ~ C. Goldstein Birkhauser Verlag AG C. Goldstein
Ancient and Medieval Traditions in the Exact Sciences: Essays in Memory of ~ Patrick Suppes - J.M. Moravcsik - Henry Mendell University of Chicago Press Patrick Suppes - J.M. Mo...
The Limits of Mathematics: A Course on Information Theory and the Limits of ~ G. J. Chaitin National University of Singapore,Singapore G. J. Chaitin
Mathematical Papers by William Kingdon Clifford (AMS Chelsea Publishing) ~ American Mathematical Society
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
Mathematical Logic: A Course with Exercises: Propositional Calculus, Booela ~ Rene Cori - D. Lascar Oxford University Press Rene Cori - D. Lascar
Graphs and Algorithms (Contemporary Mathematics) ~ Bruce R. Richter American Mathematical Society Bruce R. Richter
From Frege to Godel: Mathematical Logic, 1879-1931 (Source Books in History ~ Jean van Heijenoort Harvard University Press Jean van Heijenoort
Poincare and the Three Body Problem (History of Mathematics) ~ June Barrow-Green American Mathematical Society June Barrow-Green
The Volterra Chronicles: The Life and Times of an Extraordinary Mathematici ~ Judith R. Goodstein American Mathematical Society Judith R. Goodstein
Poincare and the Three Body Problem (History of Mathematics) ~ June Barrow-Green American Mathematical Society June Barrow-Green
Fuzzy Logic Foundations and Industrial Applications (International Series i ~ Kluwer Academic Publishers
The Legacy of John Von Neumann (Proceedings of Symposia in Pure Mathematics) ~ American Mathematical Society
Introduction to Analytic Number Theory (Undergraduate Texts in Mathematics) ~ Tom M. Apostol Springer-Verlag New York Inc. Tom M. Apostol
Introduction to Mathematical Philosophy ~ Bertrand Russell Routledge Bertrand Russell
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
Prelude to Mathematics ~ W.W. Sawyer Dover Publications Inc. W.W. Sawyer
The Infinite (Problems of Philosophy Their Past and Present) ~ A.W. Moore Routledge A.W. Moore
Husserl or Frege?: Meaning, Objectivity, and Mathematics ~ Claire Ortiz Hill - Guillermo E. Rosado Haddock Open Court Publishing Co ,U.S. Claire Ortiz Hill - G...
Automated Model Building (Applied Logic) ~ Ricardo Caferra - Alexander Leitsch - Nicolas Peltier Kluwer Academic Publishers Ricardo Caferra - A...
Category Theory and Computer Science: 7th International Conference, CTCS'97 ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Propositional Logic: Deduction and Algorithms (Cambridge Tracts in Theoreti ~ Hans Kleine Buning - Theodor Lettmann Cambridge University Press Hans Kleine Buning - Theodor Lettma...
Complexity Classifications of Boolean Constraint Satisfaction Problems (Mon ~ Nadia Creignou - Sanjeev Khanna - Madhu Sudan Society for Industrial & Applied Mathematics,U.S. Nadi...
Structural Proof Theory ~ Sara Negri - Jan Von Plato Cambridge University Press Sara Negri - Jan Von Plato
The Music of the Primes: Why an Unsolved Problem in Mathematics Matters ~ Marcus du Sautoy Fourth Estate Marcus du Sautoy
Fuzzy Thinking: The New Science of Fuzzy Logic ~ Bart Kosko Flamingo Bart Kosko
The Traveling Salesman Problem: A Guided Tour of Combinatorial Optimization ~ E. L. Lawler - Jan Karel Lenstra - A. H. G. Rinnooy Kan - D. B. Shmoys John Wiley & Sons E. L. Lawle...
Types for Proofs and Programs: International Workshop, Types 2000, Durham, ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
On-line Algorithms (Series in Discrete Mathematics & Theoretical Computer S ~ American Mathematical Society
The Maths Gene: Why Everyone Has It, But Most People Don't Use It ~ Keith J. Devlin Phoenix (an Imprint of The Orion Publishing Group Ltd ) Keith J. Devlin
Brouwer Meets Husserl: On the Phenomenology of Choice Sequences (Synthese L ~ Mark van Atten Kluwer Academic Publishers Mark van Atten
A Half-century of Automata Theory: Celebration and Inspiration ~ World Scientific Publishing
From Logic to Logic Programming (Foundations of Computing) ~ K Doets MIT Press K Doets
Scientific Computing: Proceedings of the Workshop, 10-12 March 1997, Hong Kong ~ National University of Singapore,Singapore
The Growth of Mathematical Knowledge (Synthese Library) ~ Emily Grosholz Kluwer Academic Publishers Emily Grosholz
Automated Deduction: A Basis for Applications: Foundations - Calculi and Me ~ Kluwer Academic Publishers
Fuzzy Modeling and Control: Selected Works of M. Sugeno ~ CRC Press Inc
Collected Papers of Stig Kanger with Essays on His Life and Work: v. 1 (Syn ~ Kluwer Academic Publishers
Logical Dilemmas: The Life and Work of Kurt Godel ~ John W. Dawson A K Peters John W. Dawson
Radical Interpretation and Indeterminacy ~ Timothy McCarthy Oxford University Press Inc, USA Timothy McCarthy
Algorithms and Complexity: 5th Italian Conference, CIAC 2003, Rome, Italy, ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
A Logical Journey from Godel to Philosophy (Representation and Mind) ~ Hao Wang The MIT Press Hao Wang
Classical and Fuzzy Concepts in Mathematical Logic and Applications ~ Mircea S. Reghis - Eugene Roventa CRC Press Inc Mircea S. Reghis - Eugene Roventa
Kelly:The Essence of Logic_p (Prentice-Hall Essence of Computing) ~ John Kelly Prentice Hall John Kelly
Constraint Logic Programming Using Eclipse ~ Krzysztof R. Apt - Mark Wallace Cambridge University Press Krzysztof R. Apt - Mark Wallace
Lehrbuch Der Algebra: v. 1 (AMS/Chelsea Publication) ~ Oxford University Press
Industrial Application of Electromagnetic Computer Codes: Lectures (Eurocou ~ Kluwer Academic Publishers
Fuzzy Mathematics in Economics and Engineering (Studies in Fuzziness & Soft ~ James J. Buckley - Esfandiar Eslami - Thomas Feuring Physica-Verlag GmbH & Co James J. Buckley - Esf...
An Introduction to Godel's Theorems (Cambridge Introductions to Philosophy) ~ Peter Smith Cambridge University Press Peter Smith
A First Course in Logic: An Introduction to Model Theory, Proof Theory, Com ~ Shawn Hedman Oxford University Press Shawn Hedman
Fleeting Footsteps: Tracing the Conception of Arithmetic and Algebra in Anc ~ Lam Lay Yong - Ang Tian Se World Scientific Publishing Lam Lay Yong - Ang Tian Se
Recursive Algorithms (Ablex Series in Computational Sciences) ~ Richard J. Lorentz Intellect Books Richard J. Lorentz
The Nature and Power of Mathematics (Dover Books on Mathematics) ~ Donald M. Davis Dover Publications Inc. Donald M. Davis
Leonhard Euleri Opera Omnia: Series Prima: Commentationes Analyticae AD The ~ Birkhauser Verlag AG
The History of Mathematics: An Introduction (International Series in Pure & ~ David M. Burton McGraw-Hill Education David M. Burton
Uncertainty-based Information: Elements of Generalized Information Theory ( ~ George J. Klir - Mark J. Wierman Physica-Verlag GmbH & Co George J. Klir - Mark J. Wierman
Phenomenology and Logic: The Boston College Lectures on Mathematical Logic ~ Bernard Lonergam University of Toronto Press Bernard Lonergam
Logic for Computer Scientists (Progress in Computer Science & Applied Logic) ~ Uwe Schoening Birkhauser Verlag AG Uwe Schoening
Poincare's Philosophy: From Conventionalism to Phenomenology ~ Elie Zahar Open Court Publishing Co ,U.S. Elie Zahar
Quantum Logic (Discrete Mathematics & Theoretical Computer Science) ~ K. Svozil National University of Singapore,Singapore K. Svozil
On-line Algorithms (Series in Discrete Mathematics & Theoretical Computer S ~ American Mathematical Society
Logic ~ Wilfrid Hodges Penguin Books Ltd Wilfrid Hodges
Hyperproof: For Macintosh (CSLI Lecture Notes) ~ Jon Barwise - John Etchemendy Center for the Study of Language and Information Jon Barwise - John Et...
Philosophy of Mathematics: Structure and Ontology ~ Stewart Shapiro Oxford University Press Inc, USA Stewart Shapiro
Mathematics and Necessity: Essays in the History of Philosophy (Proceedings ~ Oxford University Press
Philosophy of Mathematics: Selected Readings ~ Cambridge University Press
Fuzzy Logic for Beginners ~ Masao Mukaidono World Scientific Publishing Masao Mukaidono
Kurt Godel: Correspondence, H-Z: 005 (Collected Works) ~ Kurt Godel Clarendon Press Kurt Godel
The Heritage of Thales (Undergraduate Texts in Mathematics) ~ W.S. Anglin - J. Lambek Springer-Verlag New York Inc. W.S. Anglin - J. Lambek
Fuzzy Mathematical Programming and Fuzzy Matrix Games (Studies in Fuzziness ~ C R. Bector - Suresh Chandra Springer-Verlag Berlin and Heidelberg GmbH & Co. K C R. Bector - Suresh...
Ten Years of Concurrency Semantics: Selected Papers of the Amsterdam Concur ~ World Scientific Publishing
The Consistency of the Continuum Hypothesis (Annals of Mathematics Studies) ~ Kurt Godel Princeton University Press Kurt Godel
Fuzzy Thinking: The New Science of Fuzzy Logic ~ Bart Kosko Flamingo Bart Kosko
To Mock a Mockingbird: And Other Logic Puzzles ~ Raymond M. Smullyan Oxford University Press Raymond M. Smullyan
Fuzzy Systems Design Principles: Building Fuzzy IfThen Rule Bases: Solving ~ Riza C. Berkan - Sheldon L. Trubatch John Wiley & Sons Riza C. Berkan - Sheldon L. Trubatch
 
      601 - 677

Husserl or Frege?: Meaning, Objectivity, and Mathematics ~ Claire Ortiz Hill - Guillermo E. Rosado Haddock Open Court Publishing Co ,U.S. Claire Ortiz Hill - G...
Fermat's Last Theorem ~ Simon Singh Fourth Estate Simon Singh
"e", The Story of a Number ~ Eli Maor Princeton University Press Eli Maor
The Non-local Universe: The New Physics and Matters of the Mind ~ Robert L. Nadeau - Menas Kafatos Oxford University Press Inc, USA Robert L. Nadeau - Menas Kafatos
Prime Numbers: The Most Mysterious Figures in Math ~ David Wells John Wiley & Sons Inc David Wells
Foundations of Arithmetic ~ Gottlob Frege Blackwell Publishers Gottlob Frege
Queen of Mathematics ~ Jay Goldman A K Peters Jay Goldman
Principles of Mathematics ~ Bertrand Russell Routledge Bertrand Russell
Algorithmic Information Theory (Cambridge Tracts in Theoretical Computer Sc ~ Gregory J. Chaitin Cambridge University Press Gregory J. Chaitin
Companion Encyclopedia of the History and Philosophy of the Mathematical Sc ~ Johns Hopkins University Press
Introduction to Mathematical Logic ~ Elliott Mendelson CRC Press Inc Elliott Mendelson
Companion Encyclopedia of the History and Philosophy of the Mathematical Sc ~ Johns Hopkins University Press
Fermat's Last Theorem (Stranger Than...) ~ Simon Singh HarperPerennial Simon Singh
On Formally Undecidable Propositions of "Principia Mathematica" and Related ~ Kurt Godel Dover Publications Inc. Kurt Godel
The Mathematics of Ciphers: Number Theory and RSA Cryptography ~ S.C. Coutinho A K Peters S.C. Coutinho
Logic and Complexity (Discrete Mathematics & Theoretical Computer Science) ~ Richard Lassaigne - Michel De Rougemont Springer-Verlag London Ltd Richard Lassaigne - Michel De Rou...
"e", The Story of a Number ~ Eli Maor Princeton University Press Eli Maor
Rough Sets in Knowledge Discovery: Applications, Case Studies and Software ~ Physica-Verlag GmbH & Co
Thinking About Godel and Turing: Essays on Complexity, 1970-2007 ~ Gregory J. Chaitin World Scientific Publishing Gregory J. Chaitin
The Maths Gene: Why Everyone Has It, But Most People Don't Use It ~ Keith J. Devlin Weidenfeld & Nicolson Keith J. Devlin
Five More Golden Rules: Knots, Codes, Chaos and Other Great Theories of 20t ~ John L. Casti John Wiley & Sons Inc John L. Casti
Computability and Logic ~ George S. Boolos - John P. Burgess - Richard C. Jeffrey Cambridge University Press George S. Boolos ...
The Mathematician's Mind: The Psychology of Invention in the Mathematical F ~ Jacques Hadamard Princeton University Press Jacques Hadamard
Fuzzy and Multiobjective Games for Conflict Resolution (Studies in Fuzzines ~ Ichiro Nishizaki - Masatoshi Sakawa Physica-Verlag GmbH & Co Ichiro Nishizaki - Masatoshi Sakawa
The Infinite (Problems of Philosophy Their Past and Present) ~ A.W. Moore Routledge A.W. Moore
Numbers and Proofs (Modular Mathematics Series) ~ Reg Allenby Butterworth-Heinemann Reg Allenby
An Introduction to Godel's Theorems (Cambridge Introductions to Philosophy) ~ Peter Smith Cambridge University Press Peter Smith
Elliptic Curves in Cryptography (London Mathematical Society Lecture Note) ~ I. Blake - Gadiel Seroussi - Nigel P. Smart Cambridge University Press I. Blake - Gadiel Seroussi - ...
Where Mathematics Comes from: How the Embodied Mind Brings Mathematics into ~ George Lakoff - Rafael Nunez Basic Books Inc.,U.S. George Lakoff - Rafael Nunez
Ibrahim Ibn Sinan: Logique Et Geometrie Au Xe Siecle (Islamic Philosophy, T ~ Roshdi Rashed - Helene Bellosta Brill Roshdi Rashed - Helene Bellosta
How Mathematicians Think: Using Ambiguity, Contradiction, and Paradox to Cr ~ William Byers Princeton University Press William Byers
Mathematician's Brain: A Personal Tour Through the Essentials of Mathematic ~ David Ruelle Princeton University Press David Ruelle
Intermediate Logic ~ David Bostock Oxford University Press David Bostock
Logic for Dummies (For Dummies) ~ Mark Zegarelli Hungry Minds Inc,U.S. Mark Zegarelli
Infinity and the Mind: The Science and Philosophy of the Infinite (Princeto ~ Rudy Rucker Princeton University Press Rudy Rucker
Phenomenology and Logic: The Boston College Lectures on Mathematical Logic ~ Bernard Lonergam University of Toronto Press Bernard Lonergam
Mathematical Fallacies and Paradoxes ~ Bryan H. Bunch Dover Publications Inc. Bryan H. Bunch
Fearless Symmetry: Exposing the Hidden Patterns of Numbers ~ Avner Ash - Robert Gross Princeton University Press Avner Ash - Robert Gross
Principles of Mathematics ~ Bertrand Russell Routledge Bertrand Russell
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
Philosophy of Mathematics: A Contemporary Introduction to the World of Proo ~ James Robert Brown Routledge James Robert Brown
The Mathematician's Mind: The Psychology of Invention in the Mathematical F ~ Jacques Hadamard Princeton University Press Jacques Hadamard
Meta Maths: The Quest for Omega ~ Gregory J. Chaitin Atlantic Books Gregory J. Chaitin
A First Course in Logic: An Introduction to Model Theory, Proof Theory, Com ~ Shawn Hedman Oxford University Press Shawn Hedman
Introduction to Mathematical Philosophy ~ Bertrand Russell Routledge Bertrand Russell
The Development of Newtonian Calculus in Britain, 1700-1800 ~ Niccolo Guicciardini Cambridge University Press Niccolo Guicciardini
Logic and Computation: Interactive Proof with Cambridge LCF (Cambridge Trac ~ Lawrence C. Paulson Cambridge University Press Lawrence C. Paulson
Cognition in Practice: Mind, Mathematics and Culture in Everyday Life (Lear ~ Jean Lave Cambridge University Press Jean Lave
Algorithmic Information Theory (Cambridge Tracts in Theoretical Computer Sc ~ Gregory J. Chaitin Cambridge University Press Gregory J. Chaitin
The Logic of Provability ~ George Boolos Cambridge University Press George Boolos
The Foundations of Mathematics in the Theory of Sets (Encyclopedia of Mathe ~ John P. Mayberry Cambridge University Press John P. Mayberry
Mathematics as Sign (Writing Science) (Writing Science) ~ Brian Rotman Stanford University Press Brian Rotman
Symbolic Logic ~ Lewis Carroll Dover Publications Inc. Lewis Carroll
Elementary Number Theory (Springer Undergraduate Mathematics) ~ Gareth A. Jones - J.Mary Jones Springer-Verlag Berlin and Heidelberg GmbH & Co. K Gareth A. Jones - ...
Mathematician's Brain: A Personal Tour Through the Essentials of Mathematic ~ David Ruelle Princeton University Press David Ruelle
Phenomenology, Logic, and the Philosophy of Mathematics ~ Richard L. Tieszen Cambridge University Press Richard L. Tieszen
Fuzzy Logic: The Revolutionary Computer Technology That Is Changing Our World ~ Daniel McNeill - Paul Freiberger Simon & Schuster Ltd Daniel McNeill - Paul Freiberger
Fuzzy Modeling with Spatial Information for Geographic Problems ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Edmund Husserl's "Origin of Geometry": An Introduction ~ Jacques Derrida - John P. Leavey University of Nebraska Press Jacques Derrida - John P. Leavey
The Shaping of Deduction in Greek Mathematics: A Study in Cognitive History ~ Reviel Netz Cambridge University Press Reviel Netz
Symbolic Logic ~ Lewis Carroll Dover Publications Inc. Lewis Carroll
Fundamentals of Logic Design ~ Charles H. Roth Brooks Cole Charles H. Roth
Mathematics of Quantum Computation (Computational Mathematics) ~ R. Brylinski CRC Press Inc R. Brylinski
Equivalence and Priority: Newton Versus Leibniz, Including Leibniz's Unpubl ~ Domenico Bertoloni Meli Clarendon Press Domenico Bertoloni Meli
Primality Testing in Polynomial Time: From Randomized Algorithms to 'Primes ~ M. Dietzfelbinger Springer-Verlag Berlin and Heidelberg GmbH & Co. K M. Dietzfelbinger
Atlas for Computing Mathematical Functions: An Illustrated Guide for Practi ~ William J. Thompson John Wiley & Sons Inc William J. Thompson
The Mathematics of Ciphers: Number Theory and RSA Cryptography ~ S.C. Coutinho A K Peters S.C. Coutinho
Completeness and Reduction in Algebraic Complexity Theory (Algorithms & Com ~ P. Burgisser Springer-Verlag Berlin and Heidelberg GmbH & Co. K P. Burgisser
Mathematics and Sports (Mathematical World) ~ L.E. Sadovskii - A.L. Sadovskii American Mathematical Society L.E. Sadovskii - A.L. Sadovskii
Algebraic Theory of Automata and Languages ~ Masami Ito World Scientific Publishing Masami Ito
Labyrinth of Thought: A History of Set Theory and Its Role in Modern Mathem ~ Jose Ferreiros Birkhauser Verlag AG Jose Ferreiros
Fuzzy Sets Engineering ~ Witold Pedrycz CRC Press Inc Witold Pedrycz
Typed Lambda Calculi and Applications: 4th International Conference, Tlca'9 ~ Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Biographia Philosophica ~ Benjamin Martin Thoemmes Continuum Benjamin Martin
A Logical Journey from Godel to Philosophy (Representation and Mind) ~ Hao Wang The MIT Press Hao Wang
Advanced Digital Design with the Verilog HDL (Prentice Hall Xilinx Design S ~ Michael D. Ciletti Prentice-Hall Michael D. Ciletti
Fuzzy Logic Foundations and Industrial Applications (International Series i ~ Kluwer Academic Publishers
 

 






(c) 2007 probookocon.co.uk



Encyclopedia of Career Development
Accountants' Handbook (Accountant's Handbook)
Incompressible Flow Turbomachines: Design, Selection, Applications, and Theory
Signal Integrity Issues and Printed Circuit Board Design (Prentice Hall Modern Semiconductor Design Series)
Current Sources and Voltage References: A Design Reference for Electronics Engineers
Science and Civilisation in China: Science and Chinese Society Vol 7 (Science & Civilisation in China)
Implementing Value at Risk (Wiley Financial Engineering)
Op Amp Applications Handbook (Analog Devices Series)
Ecological Golf Course Management
Interpreting Keynes for the 21st Century: Collected Writings of Paul Davidson v. 4
The Urban Mosaic of Post-Socialist Europe: Space, Institutions and Policy (Contributions to Economics)
Equity Hybrid Derivatives (Wiley Finance)
Product Liability in Comparative Perspective
The Real World of NGOs: Discourses, Diversity and Development
Web Application Design and Implementation: Apache 2, PHP5, MySQL, JavaScript, and Linux/UNIX (Quantitative Software Engineering)
Designing Network Security
Handbook of Design, Manufacturing and Automation
Executive Economics: Ten Essential Tools for Managers
Search Engine Visibility (Voices That Matter)
The American Skyscraper: Cultural Histories
Pro Javascript Design Patterns
Electricity, Electronics, and Control Systems for HVAC
Eero Saarinen: Shaping the Future
Learn Java in a Weekend (In a Weekend)
Open Source Development with CVS
Imperfect Knowledge Economics: Exchange Rates and Risk
Encyclopedia of Common Natural Ingredients Used in Food, Drugs, and Cosmetics
What Men Don't Tell Women About Business: Opening Up the Heavily Guarded Alpha Male Playbook
Soil Geomorphology
The Effective Measurement and Management of ICT Costs and Benefits