Mathematical logic Books
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
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
Independently Published Tons of Jigsaw Sudoku for Adults & Seniors: 1000 Hard Puzzles
£13.20
Independently Published Tons of Battleships for Adults & Seniors: 1000 Puzzles (9x9)
£13.20
Independently Published Tons of Battleships for Adults & Seniors: 1000 Puzzles (11x11)
£13.20
Independently Published Tons of Battleships for Adults & Seniors: 1000 Puzzles (12x12)
£13.20
Independently Published Tons of Su Doku for Adults & Seniors: 1000 Easy to Hard Puzzles
£13.20
Independently Published Tons of Jigsaw Sudoku X for Adults & Seniors: 1000 Easy to Hard Puzzles
£13.20
Independently Published Tons of Binary Puzzle for Adults & Seniors: 1000 Easy to Hard (10x10)
£13.20
Independently Published Logic Puzzles for Adults & Seniors: 500 Hard Puzzles (Sudoku, Shikaka, Masyu, Kuromasu, Jigsaw Sudoku, Slitherlink, Suguru, Skyscrapers, Numbrix, Binary, Minesweeper and Futoshiki)
£10.66
Independently Published Adult Puzzle Book: 500 Medium Adults Puzzles (Sudoku, Kakuro, Hitori, Minesweeper, Masyu, Suguru, Binary Puzzle, Slitherlink, Futoshiki, Fillomino)
£10.66
Independently Published Samurai Sudoku: 500 Hard Sudoku Puzzles Overlapping into 100 Samurai Style
£10.66
Independently Published Samurai Sudoku: 500 Easy to Hard Sudoku Puzzles Overlapping into 100 Samurai Style
£10.66
Independently Published Large Print Logic Puzzles: 100 Hard Variety Puzzles (Kakuro, Samurai Sudoku, Battleships, Hakyuu, Minesweeper, Hitori, Samurai Jigsaw Sudoku, Fillomino, Shikaku and Sudoku 16x16)
£10.66
Independently Published Numbrix Logic Puzzles: 500 Easy to Hard (10x10) : : Keep Your Brain Young
£10.66
Independently Published Calcudoku Logic Puzzles: 500 Easy to Hard (9x9): : Keep Your Brain Young
£10.66
Independently Published Activity Book for Adults & Seniors: 500 Hard Logic Puzzles (Sudoku - Fillomino - Kakuro - Futoshiki - Hitori - Slitherlink - Killer Sudoku - Calcudoku ... - Numbrix)
£10.66
Independently Published Straights: Logic Puzzles : : 500 Easy to Hard (9x9): : Keep Your Brain Young
£10.66