Mathematical logic Books
Random House USA Inc Code Warriors Nsas Codebreakers and the Secret
Book SynopsisA sweeping, in-depth history of NSA, whose famous “cult of silence” has left the agency shrouded in mystery for decades The National Security Agency was born out of the legendary codebreaking programs of World War II that cracked the famed Enigma machine and other German and Japanese codes, thereby turning the tide of Allied victory. In the postwar years, as the United States developed a new enemy in the Soviet Union, our intelligence community found itself targeting not soldiers on the battlefield, but suspected spies, foreign leaders, and even American citizens. Throughout the second half of the twentieth century, NSA played a vital, often fraught and controversial role in the major events of the Cold War, from the Korean War to the Cuban Missile Crisis to Vietnam and beyond. In Code Warriors, Stephen Budiansky—a longtime expert in cryptology—tells the fascinating story of how NSA came to be, from its roots in World War II
£17.10
IntechOpen Fuzzy Logic Controllers and Applications
a huge range and FREE tracked UK delivery on ALL orders.
£121.50
Springer The Selected Correspondence of LEJ Brouwer Sources and Studies in the History of Mathematics and Physical Sciences
a huge range and FREE tracked UK delivery on ALL orders.
£112.50
Kings College Publications The Haskell Road to Logic Maths and Programming
£17.50
Advanced Reasoning Forum Computability Computable Functions Logic and the Foundations of Mathematics
£39.57
Advanced Reasoning Forum Propositional Logics Third Edition
£39.57
LEGARE STREET PR The Cloud of Unknowing
a huge range and FREE tracked UK delivery on ALL orders.
£13.95
LEGARE STREET PR An Investigation Of The Laws Of Thought On Which Are Founded The Mathematical Theories Of Logic And Probabilities
a huge range and FREE tracked UK delivery on ALL orders.
£28.45
LEGARE STREET PR An Investigation Of The Laws Of Thought On Which Are Founded The Mathematical Theories Of Logic And Probabilities
a huge range and FREE tracked UK delivery on ALL orders.
£19.90
LEGARE STREET PR The The Elements of Logic
a huge range and FREE tracked UK delivery on ALL orders.
£25.60
Legare Street Press Outline of the Laws of Thought
a huge range and FREE tracked UK delivery on ALL orders.
£28.45
LEGARE STREET PR Treatise
a huge range and FREE tracked UK delivery on ALL orders.
£25.60
Legare Street Press A A Letter to Augustus De Morgan
a huge range and FREE tracked UK delivery on ALL orders.
£21.80
Legare Street Press The Oxford Handbook Of Logic
£13.22
Creative Media Partners, LLC Lectures On the Logic of Arithmetic
£16.20
Creative Media Partners, LLC The SETL Project Master Catalog. A Comprehensive Listing of Reports Working Papers and Computer Readable Document and Program Files Pertaining to Work at NYU on the SETL Settheoretic Programming Language
£21.80
Creative Media Partners, LLC The SETL Project Master Catalog. A Comprehensive Listing of Reports Working Papers and Computer Readable Document and Program Files Pertaining to Work at NYU on the SETL Settheoretic Programming Language
£13.22
Creative Media Partners, LLC Studies on the Logic of Automatic Computation
£22.75
Creative Media Partners, LLC Polymorphic Type Inference and Semiunification
£22.75
Creative Media Partners, LLC A Hierarchical Technique for Mechanical Theorem Proving and its Application to Programming Language Design
£13.95
Creative Media Partners, LLC Automating Security Protocol Analysis
£22.75
Creative Media Partners, LLC Automating Security Protocol Analysis
£14.96
Creative Media Partners, LLC An Application of Automated Theorem Provers to Computer System Security
£22.75
Creative Media Partners, LLC An Application of Automated Theorem Provers to Computer System Security
£14.96
Creative Media Partners, LLC Generating Test Templates via Automated Theorem Proving
£22.75
Creative Media Partners, LLC Generating Test Templates via Automated Theorem Proving
£14.09
Creative Media Partners, LLC A Primer of Logic
£22.75
BiblioScholar Applying Automated Theorem Proving to Computer Security
£18.52
Digireads.com The Cloud of Unknowing
£9.79
Springer Introduction to Mathematical Structures and Proofs
Book SynopsisPreface to the Second Edition.- Preface to the First Edition.- 1. Logic.- 2. Sets.- 3. Functions.- 4. Finite and Infinite Sets.- 5. Combinatorics.- 6. Number Theory.- 7. Complex Numbers.- Hints and Partial Solutions to Selected Odd-Numbered Exercises.- Index.Table of Contents-Preface.- 1. Logic.- 2. Sets.- 3. Functions.- 4. Finite and Infinite Sets. - 5. Permutations and Combinations.- 6. Number Theory.- 7. Complex Numbers.- Hints and Partial Solutions to Selected Odd-Numbered Exercises.- Index
£40.99
Birkhauser Boston Theory of Finite and Infinite Graphs
Book SynopsisCommentary.- Theory of Finite and Infinite Graphs.- Dénes König: A Biographical Sketch.Table of ContentsCommentary.- Theory of Finite and Infinite Graphs.- Dénes König: A Biographical Sketch.
£44.99
Createspace Independent Publishing Platform Cool japanese puzzles (Volume 2)
£11.97
Createspace Independent Publishing Platform Cool japanese puzzles (Volume 3)
£11.97
Createspace Independent Publishing Platform Cool japanese puzzles (Volume 4)
£11.97
Cosimo Classics An Investigation of the Laws of Thought
£17.58
Independently Published Tons of Binary Puzzle for Adults & Seniors: 1000 Easy to Hard (10x10)
£13.20
Independently Published Tons of Suguru for Adults & Seniors: 1000 Easy to Hard Number Blocks Puzzles
£11.52
Independently Published Tons of Masyu for Adults & Seniors: 1000 Easy to Hard Puzzles (9x9)
£13.20
Independently Published Tons of Sudoku for Adults & Seniors: 1000 Hard to Extreme Puzzles
£13.20
Independently Published Tons of Futoshiki for Adults & Seniors: 1000 Easy to Hard Puzzles
£13.20
Independently Published Tons of Fillomino for Adults & Seniors: 1000 Easy to Hard Puzzles (10x10)
£13.20
Independently Published Tons of Sudoku X for Adults & Seniors: 1000 Easy to Hard Puzzles
£13.20
Independently Published Tons of Battleships for Adults & Seniors: 1000 Easy to Hard Puzzles (10x10)
£13.20
Independently Published Tons of Sudoku for Adults & Seniors: 1000 Medium Puzzles
£12.64
Independently Published Tons of Kakuro for Adults & Seniors: 1000 Puzzles (9x9)
£13.20
Independently Published Tons of Hitori for Adults & Seniors: 1000 Puzzles (10x10)
£13.20
Independently Published Tons of Binary Puzzle for Adults & Seniors: 1000 Medium Puzzles (10x10)
£13.20
Independently Published Tons of Jigsaw Sudoku for Adults & Seniors: 1000 Medium Puzzles
£13.20
