Mathematical logic Books
Taylor & Francis Ltd The Elements of Advanced Mathematics
Book SynopsisThis book has enjoyed considerable use and appreciation during its first four editions. With hundreds of students having learned out of early editions, the author continues to find ways to modernize and maintain a unique presentation.What sets the book apart is the excellent writing style, exposition, and unique and thorough sets of exercises. This edition offers a more instructive preface to assist instructors on developing the course they prefer. The prerequisites are more explicit and provide a roadmap for the course. Sample syllabi are included.As would be expected in a fifth edition, the overall content and structure of the book are sound.This new edition offers a more organized treatment of axiomatics. Throughout the book, there is a more careful and detailed treatment of the axioms of set theory. The rules of inference are more carefully elucidated.Additional new features include: An emphasis on the artTrade ReviewThe great strength of the book overall and of the chapters I read is a very accessible writing style, and extremely good exercises. The mix of discussion of advanced topics alongside the presentation of more elementary material is excellent. This is a product of having a highly accomplished and knowledgeable mathematician writing a textbook intended for not-so-advanced students.--David Walnut, George Washington UniversityTable of Contents1. Basic Logic 2. Methods of Proof 3. Set Theory 4. Relations and Functions 5. Group Theory 6. Number Systems 7. More on the Real Number System 8. A Glimpse of Topology 9. Elementary Number Theory 10. Zero-Knowledge Proofs and Cryptography 11. An Example of an Axiomatic Theory
£80.74
Taylor & Francis Ltd The Baseball Mysteries
The Baseball Mysteries: Challenging Puzzles for Logical Detectives is a book of baseball puzzles, logical baseball puzzles. To jump in, all you need is logic and a casual fan's knowledge of the game. The puzzles are solved by reasoning from the rules of the game and a few facts.The logic in the puzzles is like legal reasoning. A solution must argue from evidence (the facts) and law (the rules). Unlike legal arguments, however, a solution must reach an unassailable conclusion.There are many puzzle books. But there's nothing remotely like this book. The puzzles here, while rigorously deductive, are firmly attached to actual events, to struggles that are reported in the papers every day.The puzzles offer a unique and scintillating connection between abstract logic and gritty reality.Actually, this book offers the reader an unlimited number of puzzles. Once you've solved a few of the challenges here, every boxscore you see in the pap
£28.83
Taylor & Francis Ltd Cryptography for Payment Professionals
Book SynopsisAlthough cryptography plays an essential part in most modern solutions, especially in payments, cryptographic algorithms remain a black box for most users of these tools. Just as a sane backend developer does not drill down into low-level disk access details of a server filesystem, payments professionals have enough things to worry about before they ever need to bother themselves with debugging an encrypted value or a message digest. However, at a certain point, an engineer faces the need to identify a problem with a particular algorithm or, perhaps, to create a testing tool that would simulate a counterpart in a protocol that involves encryption.The world of cryptography has moved on with giant leaps. Available technical standards mention acronyms and link to more standards, some of which are very large while others are not available for free. After finding the standards for the algorithm, the specific mode of operation must also be identified. Most implementations use severTable of Contents1. Building Blocks 2. Understanding Payments 3. Securing the Plastic :Magnetic Stripe and EMV 4. Securing the Network 5. Protecting the PIN 6. Regulation and Compliance A. Bits and Digits B. RSA D. PIN Examples E. JOSE Example F. Standard Bodies
£99.99
Cambridge University Press Extensions of First Order Logic 19 Cambridge Tracts in Theoretical Computer Science Series Number 19
a huge range and FREE tracked UK delivery on ALL orders.
£63.37
Cambridge University Press Free Choice Petri Nets
a huge range and FREE tracked UK delivery on ALL orders.
£37.04
Cambridge University Press Basic Simple Type Theory 42 Cambridge Tracts in Theoretical Computer Science Series Number 42
Book SynopsisType theory is one of the most important tools in the design of higher-level programming languages, such as ML. This book introduces and teaches its techniques by focusing on one particularly neat system and studying it in detail. In this way, all the key ideas are covered without getting involved in the complications of more advanced systems, but concentrating rather on the principles that make the theory work in practice. This book takes a type-assignment approach to type theory, and the system considered is the simplest polymorphic one. The author covers all the basic ideas, including the system's relation to propositional logic, and gives a careful treatment of the type-checking algorithm which lies at the heart of every such system. Also featured are two other interesting algorithms that have been buried in inaccessible technical literature. The mathematical presentation is rigorous but clear, making the book at a level which can be used as an introduction to type theory for compTrade Review"This is an excellent introduction to type theory. It doesn't bog the reader down in any of the messy details of the proofs and yet it provides many of the most interesting results in the field....Overall, it is a great book for someone who wants to get his feet wet in type theory, but doesn't want to get in over his head." Sigact News"...the book makes useful and stimulating reading and it will be an essential tool for computer scientists working in type theory and related areas." Mathematical ReviewsThe proofs in this book are given in great detail, and still the author succeeds in writing the book in a clear but not too technical style. It is easy and pleasurable to read this book." Journal of Symbolic LogicTable of ContentsIntroduction; 1. The type-free λ-calculus; 2. Assigning types to terms; 3. The principal-type algorithm; 4. Type assignment with equality; 5. A version using typed terms; 6. The correspondence with implication; 7. The converse principal-type algorithm; 8. Counting a type's inhabitants; 9. Technical details; Answers to starred exercises; Bibliography; Table of principal types; Index.
£35.14
Cambridge University Press First Steps in Modal Logic
Book SynopsisThis is a first course in propositional modal logic, suitable for mathematicians, computer scientists and philosophers. Emphasis is placed on semantic aspects, in the form of labelled transition structures, rather than on proof theory.Trade Review"This text should appeal to anyone with an interest in model logic...an attractive choice for self-study." J.M. Plotkin, Mathematical Reviews"...offers a distinctive viewpoint and is easy to learn from." D.V. Feldman, ChoiceTable of ContentsIntroduction; Acknowledgements; Part I. Preliminaries: 1. Survey of propositional logic; 2. The modal language; Part II. Transition Structures and Semantics: 3. Labelled transition structures; 4. Valuation and satisfaction; 5. Correspondence theory; 6. The general confluence result; Part III. Proof Theory and Completeness: 7. Some consequence relations; 8. Standard formal systems; 9. The general completeness result; 10. Kripke-completeness; Part IV. Model Constructions: 11. Bismulations; 12. Filtrations; 13. The finite model property; Part V. More Advanced Material: 14. SLL logic; 15. Löb logic; 16. Canonicity without the fmp; 17. Transition structures aren't enough; Part VI. Two Appendices: Bibliography.
£45.59
Cambridge University Press Domains and Lambda Calculi 46 Cambridge Tracts in Theoretical Computer Science Series Number 46
a huge range and FREE tracked UK delivery on ALL orders.
£52.60
Cambridge University Press 88 Multiple Forcing Cambridge Tracts in Mathematics Series Number 88
a huge range and FREE tracked UK delivery on ALL orders.
£35.14
Cambridge University Press Mathematical Theory of Domains 22 Cambridge Tracts in Theoretical Computer Science Series Number 22
a huge range and FREE tracked UK delivery on ALL orders.
£48.44
Cambridge University Press Model Theory Encyclopedia of Mathematics and its Applications 42 Encyclopedia of Mathematics and its Applications Series Number 42
a huge range and FREE tracked UK delivery on ALL orders.
£67.51
Cambridge University Press The Unprovability of Consistency
a huge range and FREE tracked UK delivery on ALL orders.
£45.59
Cambridge University Press The Logical Status of Diagrams
a huge range and FREE tracked UK delivery on ALL orders.
£36.09
Cambridge University Press Kurt Gdel Essays for his Centennial 33 Lecture Notes in Logic Series Number 33
a huge range and FREE tracked UK delivery on ALL orders.
£112.50
Cambridge University Press A Framework for Priority Arguments 34 Lecture Notes in Logic Series Number 34
a huge range and FREE tracked UK delivery on ALL orders.
£105.45
Cambridge University Press Subsystems of Second Order Arithmetic
a huge range and FREE tracked UK delivery on ALL orders.
£45.59
Cambridge University Press Theories of Computability
a huge range and FREE tracked UK delivery on ALL orders.
£40.84
Cambridge University Press Forcing with Random Variables and Proof Complexity 382 London Mathematical Society Lecture Note Series Series Number 382
a huge range and FREE tracked UK delivery on ALL orders.
£51.29
Cambridge University Press Lectures in Logic and Set Theory Volume I Mathematical Logic Volume 1 Mathematical Logic 82 Cambridge Studies in Advanced Mathematics Series Number 82
a huge range and FREE tracked UK delivery on ALL orders.
£45.59
Cambridge University Press Lectures in Logic and Set Theory 83 Cambridge Studies in Advanced Mathematics Series Number 83
a huge range and FREE tracked UK delivery on ALL orders.
£59.84
Cambridge University Press The Foundations of Mathematics in the Theory of Sets 82 Encyclopedia of Mathematics and its Applications Series Number 82
a huge range and FREE tracked UK delivery on ALL orders.
£60.89
Cambridge University Press Model Theory 42 Encyclopedia of Mathematics and its Applications Series Number 42
a huge range and FREE tracked UK delivery on ALL orders.
£211.85
Cambridge University Press LMS 130 Model Theory and Modules London Mathematical Society Lecture Note Series Series Number 130
a huge range and FREE tracked UK delivery on ALL orders.
£79.10
Cambridge University Press Logic for Mathematicians
a huge range and FREE tracked UK delivery on ALL orders.
£54.14
Cambridge University Press Oligomorphic Permutation Groups
a huge range and FREE tracked UK delivery on ALL orders.
£51.78
Cambridge University Press logicandcomputation
a huge range and FREE tracked UK delivery on ALL orders.
£49.29
Cambridge University Press Sets of Multiples 118 Cambridge Tracts in Mathematics Series Number 118
a huge range and FREE tracked UK delivery on ALL orders.
£105.45
Cambridge University Press Proof Theory
a huge range and FREE tracked UK delivery on ALL orders.
£104.50
Cambridge University Press Categories for Types
a huge range and FREE tracked UK delivery on ALL orders.
£114.00
Cambridge University Press Bounded Arithmetic Propositional Logic and Complexity Theory 60 Encyclopedia of Mathematics and its Applications Series Number 60
a huge range and FREE tracked UK delivery on ALL orders.
£122.55
Cambridge University Press Categories for Types Cambridge Mathematical Textbooks
a huge range and FREE tracked UK delivery on ALL orders.
£59.84
Cambridge University Press Semimodular Lattices Theory and Applications 73 Encyclopedia of Mathematics and its Applications Series Number 73
a huge range and FREE tracked UK delivery on ALL orders.
£118.75
Cambridge University Press The Logical Status of Diagrams
a huge range and FREE tracked UK delivery on ALL orders.
£105.45
Cambridge University Press First Steps in Modal Logic
a huge range and FREE tracked UK delivery on ALL orders.
£87.39
Cambridge University Press Basic Simple Type Theory 42 Cambridge Tracts in Theoretical Computer Science Series Number 42
a huge range and FREE tracked UK delivery on ALL orders.
£92.14
Cambridge University Press The Logic of Provability
a huge range and FREE tracked UK delivery on ALL orders.
£29.44
Cambridge University Press Proofs and Computations Perspectives in Logic
Book SynopsisDriven by the question, 'What is the computational content of a (formal) proof?', this book studies fundamental interactions between proof theory and computability. It provides a unique self-contained text for advanced students and researchers in mathematical logic and computer science. Part I covers basic proof theory, computability and GÃdel's theorems. Part II studies and classifies provable recursion in classical systems, from fragments of Peano arithmetic up to Î11âCA0. Ordinal analysis and the (SchwichtenbergâWainer) subrecursive hierarchies play a central role and are used in proving the 'modified finite Ramsey' and 'extended Kruskal' independence results for PA and Î11âCA0. Part III develops the theoretical underpinnings of the first author's proof assistant MINLOG. Three chapters cover higher-type computability via information systems, a constructive theory TCF of computable functionals, realizability, Dialectica interpretation, computationally significant quantifiers and connTrade Review"Written by two leading practitioners in the area of formal logic, the book provides a panoramic view of the topic. This reference volume is a must for the bookshelf of every practitioner of formal logic and computer science." Prahladavaradan Sampath, Computing ReviewsTable of ContentsPreface; Preliminaries; Part I. Basic Proof Theory and Computability: 1. Logic; 2. Recursion theory; 3. Godel's theorems; Part II. Provable Recursion in Classical Systems: 4. The provably recursive functions of arithmetic; 5. Accessible recursive functions, ID<ω and Π11–CA0; Part III. Constructive Logic and Complexity: 6. Computability in higher types; 7. Extracting computational content from proofs; 8. Linear two-sorted arithmetic; Bibliography; Index.
£68.39
Cambridge University Press Models and Games
a huge range and FREE tracked UK delivery on ALL orders.
£61.74
Cambridge University Press Logic Induction and Sets London Mathematical Society Student Texts
a huge range and FREE tracked UK delivery on ALL orders.
£38.94
Cambridge University Press Theories of Computability
a huge range and FREE tracked UK delivery on ALL orders.
£104.50
Cambridge University Press Computability Enumerability Unsolvability Directions in Recursion Theory 224 London Mathematical Society Lecture Note Series Series Number 224
a huge range and FREE tracked UK delivery on ALL orders.
£50.99
Cambridge University Press Topology via Logic
Book SynopsisThis is an advanced textbook on topology for computer scientists. It is based on a course given by the author to postgraduate students of computer science at Imperial College.Table of Contents1. Introduction; 2. Affirmative and refutative assertions; 3. Frames; 4. Frames as algebras; 5. Topology: the definitions; 6. New topologies for old; 7. Point logic; 8. Compactness; 9. Spectral algebraic locales; 10. Domain theory; 11. Power domains; 12. Spectra of rings; Bibliography.
£45.59
Cambridge University Press Metamaths Machines Godels Proof 38 Cambridge Tracts in Theoretical Computer Science Series Number 38
a huge range and FREE tracked UK delivery on ALL orders.
£40.84
Cambridge University Press Set Theory 48 London Mathematical Society Student Texts Series Number 48
a huge range and FREE tracked UK delivery on ALL orders.
£116.85
Cambridge University Press Set Theory for the Working Mathematician 39 London Mathematical Society Student Texts Series Number 39
a huge range and FREE tracked UK delivery on ALL orders.
£116.85
Cambridge University Press Set Theory for the Working Mathematician
a huge range and FREE tracked UK delivery on ALL orders.
£43.69
Cambridge University Press LMSST 48 Set Theory London Mathematical Society Student Texts Series Number 48
a huge range and FREE tracked UK delivery on ALL orders.
£59.84
Cambridge University Press LMS 248 Tame Topology ominimal London Mathematical Society Lecture Note Series Series Number 248
a huge range and FREE tracked UK delivery on ALL orders.
£61.99