Mathematical Logic

Computer Aided Verification: 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II: 9780 (Lecture Notes in Computer Science, 9780)

By Chaudhuri, Swarat, Farzan, Azadeh

The Times Crossword Collection: 160 of the most famous crosswords in the world (The Times Crosswords)

By Laws

The Times Samurai Su Doku: 100 extreme puzzles for the fearless Su Doku warrior (The Times Su Doku)

By The Times Mind Games, .

Programs as Data Objects: Second Symposium, PADO 2001, Aarhus, Denmark, May 21-23, 2001, Proceedings: 2053 (Lecture Notes in Computer Science, 2053)

By Danvy, Olivier, Filinski, Andrzej

Green Collection (50 Mathematical Puzzles and Problems)

By Cohen, Gilles

Tests and Proofs: 5th International Conference, TAP 2011, Zürich, Switzerland, June 30 - July 1, 2011, Proceedings: 6706 (Lecture Notes in Computer Science, 6706)

By Gogolla, Martin, Wolff, Burkhart

An Introduction to Maxwell's Equations: Book 1

By Bolton. J

Enlightening Symbols: A Short History of Mathematical Notation and Its Hidden Powers

By Mazur, Joseph

The Equations: Icons of Knowledge

By Bais, Sander

The Times MindGames Number and Logic Puzzles Book 1: 500 brain-crunching puzzles, featuring 7 popular mind games (The Times Puzzle Books)

By The Times Mind Games

The Ultimate Mathematical Challenge: Over 365 puzzles to test your wits and excite your mind

By The UK Mathematics Trust

A Modern Elementary Logic (University Paperbacks)

By L. Susan Stebbing, C. W. K. Mumble

Mathematical Proofs: A Transition to Advanced Mathematics: United States Edition

By Chartrand, Gary, Polimeni, Albert D., Zhang, Ping

Cogwheels of the Mind: The Story of Venn Diagrams

By A. W. F. Edwards, Ian Stewart

Big Book of Su Doku 5: 300 Su Doku puzzles (Collins Su Doku)

By Collins Puzzles

The Annotated Turing: A Guided Tour Through Alan Turing's Historic Paper on Computability and the Turing Machine

By Petzold, Charles

The Price of Cake: And 99 Other Classic Mathematical Riddles

By Deslandes, Clement, Guillaume

Set Theory: Exploring Independence and Truth

By Ralf Schindler

Maths on the Back of an Envelope: Clever ways to (roughly) calculate anything

By Rob Eastaway

Mathematics and Logic: Retrospect and Prospects

By Mark Kac

Lattices and Ordered Algebraic Structures

By T.S. Blyth

A Course in Formal Languages, Automata and Groups

By Ian M. Chiswell

Elements of Logic via Numbers and Sets

By D.L. Johnson

Logic and Structure

By Dirk van Dalen

Mathematical Logic and Model Theory: A Brief Introduction

By Alexander Prestel, Charles N. Delzell

Isomonodromic Deformations and Frobenius Manifolds: An Introduction

By Claude Sabbah

Introducing Logic: A Graphic Guide (Graphic Guides)

By DAN CRYAN, SHARRON SHATIL, BILL MAYBLIN, Mayblin, Bill, Cryan, Dan, Shatil, Sharron

The Limits of Mathematics: A course on information theory and the limits of formal reasoning (Discrete Mathematics and Theoretical Computer Science)

By Chaitin, Gregory J.

Sudoku Large Print: 100 Sudoku Puzzles with Very Hard Level - One Puzzle Per Page with Solutions (Brain Games Book 6) (100 sudoku large print)

By Maker, Brainstorm

Introduction to Logic (Dover Books on Mathematics)

By Suppes, Patrick