Mathematical logic Books
Oxford University Press Seduced by Logic
Book SynopsisThis is the fascinating story of two women who lives were guided by a passion for mathematics and an insatiable curiosity to know and understand the world around them -- the beautiful, outrageous Émilie du Châtelet and the charmingly subversive Mary Somerville. Against great odds, Émilie and Mary taught themselves mathematics, and did it so well that they each became a world authority on Newtonian mathematical physics.Seduced by Logic begins with Émilie du Châtelet, an 18th-century French aristocrat, intellectual, and Voltaire''s lover, whose true ambition was to be a mathematician. She strove not only to further Newton''s ideas in France, but to prove that they had French connections, including to the work of Descartes, whom Newton had read. She translated the great Principia Mathematica into French, in what became the accepted French version of Newton''s work, and was instrumental in bringing Newton''s revolutionary opus to a Continental audience. A century later, in Scotland, Mary STrade Review...timely reminder of how little things have changed since the 19th century and how much women of science can accomplish. * Wall Street Journal *Table of ContentsIntroduction ; 1 Madame Newton du Chatelet ; 2 Creating the theory of gravity: the Newtonian controversy ; 3 Learning mathematics and fighting for freedom ; 4 Emilie and Voltaire's Academy of Free Thought ; 5 Testing Newton: the'New Argonauts' ; 6 The danger in Newton: life, love and politics ; 7 The nature of light: Emilie takes on Newton ; 8 Searching for 'energy': Emilie discovers Leibniz ; 9 Mathematics and free will ; 10 The re-emergence of Madame Newton du Chatelet ; 11 Love letters to Saint-Lambert ; 12 Mourning Emilie ; 13 Mary Fairfax Somerville ; 14 The long road to fame ; 15 Mechanism of the Heavens ; 16 Mary's second book: popular science in the nineteenth century ; 17 Finding light waves: the 'Newtonian Revolution' comes of age ; 18 Mary Somerville: a fortunate life ; Epilogue: Declaring a point of view
£40.79
Penguin Random House LLC Theory of Recursive Functions and Effective Computability
£45.00
Springer 18 Unconventional Essays on the Nature of Mathematics
a huge range and FREE tracked UK delivery on ALL orders.
£85.49
Springer Notes on Set Theory
a huge range and FREE tracked UK delivery on ALL orders.
£66.49
Springer Notes on Set Theory
a huge range and FREE tracked UK delivery on ALL orders.
£54.99
Springer Techniques of Constructive Analysis
a huge range and FREE tracked UK delivery on ALL orders.
£54.99
Springer Introduction to Boolean Algebras
a huge range and FREE tracked UK delivery on ALL orders.
£38.99
Springer Naive Set Theory
1 The Axiom of Extension.- 2 The Axiom of Specification.- 3 Unordered Pairs.- 4 Unions and Intersections.- 5 Complements and Powers.- 6 Ordered Pairs.- 7 Relations.- 8 Functions.- 9 Families.- 10 Inverses and Composites.- 11 Numbers.- 12 The Peano Axioms.- 13 Arithmetic.- 14 Order.- 15 The Axiom of Choice.- 16 Zorn's Lemma.- 17 Well Ordering.- 18 Transfinite Recursion.- 19 Ordinal Numbers.- 20 Sets of Ordinal Numbers.- 21 Ordinal Arithmetic.- 22 The Schröder-Bernstein Theorem.- 23 Countable Sets.- 24 Cardinal Arithmetic.- 25 Cardinal Numbers.
£71.24
Springer Lectures on Boolean Algebras
a huge range and FREE tracked UK delivery on ALL orders.
£71.99
Springer Perspectives of Elementary Mathematics
a huge range and FREE tracked UK delivery on ALL orders.
£85.49
Springer The Joy of Sets
Book Synopsis1 Naive Set Theory.- 1.1 What is a Set?.- 1.2 Operations on Sets.- 1.3 Notation for Sets.- 1.4 Sets of Sets.- 1.5 Relations.- 1.6 Functions.- 1.7 Well-Or der ings and Ordinals.- 1.8 Problems.- 2 The ZermeloFraenkel Axioms.- 2.1 The Language of Set Theory.- 2.2 The Cumulative Hierarchy of Sets.- 2.3 The ZermeloFraenkel Axioms.- 2.4 Classes.- 2.5 Set Theory as an Axiomatic Theory.- 2.6 The Recursion Principle.- 2.7 The Axiom of Choice.- 2.8 Problems.- 3 Ordinal and Cardinal Numbers.- 3.1 Ordinal Numbers.- 3.2 Addition of Ordinals.- 3.3 Multiplication of Ordinals.- 3.4 Sequences of Ordinals.- 3.5 Ordinal Exponentiation.- 3.6 Cardinality, Cardinal Numbers.- 3.7 Arithmetic of Cardinal Numbers.- 3.8 Regular and Singular Cardinals.- 3.9 Cardinal Exponentiation.- 3.10 Inaccessible Cardinals.- 3.11 Problems.- 4 Topics in Pure Set Theory.- 4.1 The Borel Hierarchy.- 4.2 Closed Unbounded Sets.- 4.3 Stationary Sets and Regressive Functions.- 4.4 Trees.- 4.5 Extensions of Lebesgue Measure.- 4.6 A ReTable of ContentsPreface; 1. Naïve Set Theory; 2. The Zermelo-Fraenkel Axioms; 3. Ordinal and Cardinal Numbers; 4. Topics in Pure Set Theory; 5. The Axiom of Constructibility; 6. Independence Proofs in Set Theory; 7. Non-Well-Founded Set Theory; Bibliography; Glossary of Symbols; Index
£50.99
Springer Mathematical Logic
Book SynopsisA.- I Introduction.- II Syntax of First-Order Languages.- III Semantics of First-Order Languages.- IV A Sequent Calculus.- V The Completeness Theorem.- VI The Löwenheim-Skolem and the Compactness Theorem.- VII The Scope of First-Order Logic.- VIII Syntactic Interpretations and Normal Forms.- B.- IX Extensions of First-Order Logic.- X Limitations of the Formal Method.- XI Free Models and Logic Programming.- XII An Algebraic Characterization of Elementary Equivalence.- XIII Lindström's Theorems.- References.- Symbol Index.Trade Review“…the book remains my text of choice for this type of material, and I highly recommend it to anyone teaching a first logic course at this level.” – Journal of Symbolic LogicTable of ContentsPreface; Part A: 1. Introduction; 2. Syntax of First-Order Languages; 3. Semantics of first-Order Languages; 4. A Sequent Calculus; 5. The Completeness Theorem; 6. The Lowenheim-Skolem and the Compactness Theorem; 7. The Scope of First-Order Logic; 8. Syntactic Interpretations and Normal Forms; Part B: 9. Extensions of First-Order Logic; 10. Limitations of the Formal Method; 11. Free Models and Logic Programming; 12. An Algebraic Characterization of Elementary Equivalence; 13. Lindstroem's Theorems; References; Symbol Index; Subject Index
£53.99
Springer New York Complexity and Real Computation
Book SynopsisThe later parts of the book develop a formal theory of computation which integrates major themes of the classical theory and which is more directly applicable to problems in mathematics, numerical analysis, and scientific computing.Table of Contents1 Introduction.- 2 Definitions and First Properties of Computation.- 3 Computation over a Ring.- 4 Decision Problems and Complexity over a Ring.- 5 The Class NP and NP-Complete Problems.- 6 Integer Machines.- 7 Algebraic Settings for the Problem “P ? NP?”.- 8 Newton’s Method.- 9 Fundamental Theorem of Algebra: Complexity Aspects.- 10 Bézout’s Theorem.- 11 Condition Numbers and the Loss of Precision of Linear Equations.- 12 The Condition Number for Nonlinear Problems.- 13 The Condition Number in ?(H(d).- 14 Complexity and the Condition Number.- 15 Linear Programming.- 16 Deterministic Lower Bounds.- 17 Probabilistic Machines.- 18 Parallel Computations.- 19 Some Separations of Complexity Classes.- 20 Weak Machines.- 21 Additive Machines.- 22 Nonuniform Complexity Classes.- 23 Descriptive Complexity.- References.
£68.40
Springer A Course in Model Theory
a huge range and FREE tracked UK delivery on ALL orders.
£75.99
Springer Introduction to Linear Parametric and NonLinear Vibrations
a huge range and FREE tracked UK delivery on ALL orders.
£151.99
Elsevier Science The Many Valued and Nonmonotonic Turn in Logic
£212.00
Cambridge University Press Proofs and Confirmations
Book SynopsisAn introduction to recent developments in algebraic combinatorics and an illustration of how research in mathematics actually progresses.Trade Review'Proofs and Confirmations is one of the most brilliant examples of mathematical exposition that I have encountered, in many years of reading the same. This is not for the faint-hearted, nor is Proofs and Confirmations a book that can be read in an easy chair, like a novel; it demands active participation by the reader. But Bressoud rewards such readers with a panorama of combinatorics today and with renewed awe at the human ability to penetrate the deeply hidden mysteries of pure mathematics.' Herbert S. Wilf, Science'The unexpected twists and turns will hardly be matched in any novel - this book allows us all to share in the excitement … a brilliant book.' Alun O. Morris'I strongly recommend the book as an account of a remarkable mathematical development.' P. J. Cameron, Proceedings of the Edinburgh Mathematical Society'This is an excellent book which can be recommended without hesitation, not only to specialists in the field, but to any mathematician with time to read something interesting and nicely written.' EMSTable of Contents1. The conjecture; 2. Fundamental structures; 3. Lattice paths and plane partitions; 4. Symmetric functions; 5. Hypergeometric series; 6. Explorations; 7. Square ice.
£45.28
Springer Newtons Method and Dynamical Systems Spinoff Acta Applicandae Mathematical Vol 13 12
a huge range and FREE tracked UK delivery on ALL orders.
£123.49
Springer Mathematical Intuition
a huge range and FREE tracked UK delivery on ALL orders.
£151.99
Springer Acting and Reflecting The Interdisciplinary Turn in Philosophy 211 Synthese Library
a huge range and FREE tracked UK delivery on ALL orders.
£85.49
Springer Physicalism in Mathematics
a huge range and FREE tracked UK delivery on ALL orders.
£123.49
Springer The Logic of Time A ModelTheoretic Investigation into the Varieties of Temporal Ontology and Temporal Discourse 156 Synthese Library
a huge range and FREE tracked UK delivery on ALL orders.
£123.49
Springer Rough Sets Theoretical Aspects of Reasoning about Data 9 Theory and Decision Library D
a huge range and FREE tracked UK delivery on ALL orders.
£313.49
Springer Applications of Category Theory to Fuzzy Subsets 14 Theory and Decision Library B
a huge range and FREE tracked UK delivery on ALL orders.
£170.99
Springer Philosophical Logic in Poland 228 Synthese Library
a huge range and FREE tracked UK delivery on ALL orders.
£170.99
Springer Diamonds and Defaults
a huge range and FREE tracked UK delivery on ALL orders.
£123.49
Springer Real Numbers Generalizations of the Reals and Theories of Continua 242 Synthese Library
a huge range and FREE tracked UK delivery on ALL orders.
£123.49
Springer Mind Meaning and Mathematics Essays on the Philosophical Views of Husserl and Frege 237 Synthese Library
a huge range and FREE tracked UK delivery on ALL orders.
£85.49
Springer The Philosophy of Michael Dummett
a huge range and FREE tracked UK delivery on ALL orders.
£123.49
Springer The Theory of LatticeOrdered Groups 307 Mathematics and Its Applications
a huge range and FREE tracked UK delivery on ALL orders.
£85.49
Springer Fundamentals of Uncertainty Calculi with Applications to Fuzzy Inference 30 Theory and Decision Library B
a huge range and FREE tracked UK delivery on ALL orders.
£123.49
Springer NonClassical Logics and Their Applications to Fuzzy Subsets
a huge range and FREE tracked UK delivery on ALL orders.
£126.56
Springer Quantifiers Logics Models and Computation Volume One Surveys 248 Synthese Library
a huge range and FREE tracked UK delivery on ALL orders.
£123.49
Springer Quantifiers Logics Models and Computation Volume Two Contributions 249 Synthese Library
a huge range and FREE tracked UK delivery on ALL orders.
£85.49
Springer From Dedekind to Gdel Essays on the Development of the Foundations of Mathematics 251 Synthese Library
a huge range and FREE tracked UK delivery on ALL orders.
£170.99
Springer The Posing of Questions Logical Foundations of Erotetic Inferences 252 Synthese Library
a huge range and FREE tracked UK delivery on ALL orders.
£85.49
Springer The Foundational Debate Complexity and Constructivity in Mathematics and Physics 3 Vienna Circle Institute Yearbook
a huge range and FREE tracked UK delivery on ALL orders.
£123.49
Springer Doing Worlds with Words Formal Semantics Without Formal Metaphysics 253 Synthese Library
a huge range and FREE tracked UK delivery on ALL orders.
£85.49
Springer Automated Mathematical Induction
a huge range and FREE tracked UK delivery on ALL orders.
£85.49
Springer Resolution Proof Systems An Algebraic Theory 4 Automated Reasoning Series
a huge range and FREE tracked UK delivery on ALL orders.
£85.49
Springer Proof Theory of Modal Logic
a huge range and FREE tracked UK delivery on ALL orders.
£123.49
Springer Semigroups and Their Subsemigroup Lattices 379 Mathematics and Its Applications
a huge range and FREE tracked UK delivery on ALL orders.
£85.49
Springer Mathematical Undecidability Quantum Nonlocality and the Question of the Existence of God
a huge range and FREE tracked UK delivery on ALL orders.
£85.49
Springer Ordered Algebraic Structures Proceedings of the Curacao Conference Sponsored by the Caribbean Mathematics Foundation June 2630 1995 Proceedings Mathematics Foundation June 2630 1995
a huge range and FREE tracked UK delivery on ALL orders.
£123.49
Springer Logic and Scientific Methods Volume One of the Tenth International Congress of Logic Methodology and Philosophy of Science Florence August 1995 259 Synthese Library
a huge range and FREE tracked UK delivery on ALL orders.
£170.99
Springer Leniewskis Systems Protothetic 54 Nijhoff International Philosophy Series
a huge range and FREE tracked UK delivery on ALL orders.
£170.99
Springer Integral Measure and Ordering 411 Mathematics and Its Applications
a huge range and FREE tracked UK delivery on ALL orders.
£170.99
Springer The Theory of Partial Algebraic Operations 414 Mathematics and Its Applications
a huge range and FREE tracked UK delivery on ALL orders.
£85.49
