Mathematical Logic

Mathematical Logic and Model Theory: A Brief Introduction

By Alexander Prestel, Charles N. Delzell

Logic and Structure

By Dirk van Dalen

Elements of Logic via Numbers and Sets

By D.L. Johnson

A Course in Formal Languages, Automata and Groups

By Ian M. Chiswell

Lattices and Ordered Algebraic Structures

By T.S. Blyth

Mathematics and Logic: Retrospect and Prospects

By Mark Kac

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

By Rob Eastaway

A Farewell to Ice: A Report from the Arctic

By Peter Wadhams

The Times Quick Crossword Book 12: 80 world-famous crossword puzzles from The Times2 (The Times Crosswords)

By The Times Mind Games

Sudoku Puzzle Book for Adults: 300 Large Print Sudoku Puzzles | Easy to Hard

By Publishing, Puzzle King

The Times Fiendish Su Doku Book 3: 200 challenging Su Doku puzzles (The Times Fiendish Su Doku Puzzle Books)

By The Times Mind Games, .

Cambridge IGCSE (TM) Additional Maths Student's Book (Collins Cambridge IGCSE (TM))

By Su Nicholson, Peter Ransom, Carol Roberts, Trevor Senior, Brian Speed

Creative Puzzles of the World

By Jack Botermans

Bridge Secrets: Don't miss a trick (Collins Little Books)

By Julian Pottage, Collins Books

The Times Su Doku Book 10: 150 challenging puzzles from The Times (The Times Su Doku)

By The Times Mind Games

Naive Set Theory

By Paul R. Halmos

There's Something About Goedel: The Complete Guide to the Incompleteness Theorem

By Francesco Berto (Ca' Foscari University of Venice, Italy)

Reflections on Kurt Goedel

By Hao Wang

Journey to the Edge of Reason: The Life of Kurt Goedel

By Stephen Budiansky

Code Warriors: NSA's Codebreakers and the Secret Intelligence War Against the Soviet Union

By Stephen Budiansky

Calcudoku Adult Puzzle Book: 1000 Easy to Hard Puzzles Without Blocks Consisting of One Cell (The Big Books of Logic Puzzles Series)

By Alzamili, Dr. Khalid

New Constructions in Cellular Automata

By David Griffeath (Professor of Mathematics, Professor of Mathematics, University of Wisconsin), Cristopher Moore (Research Professor, Research Professor, Sante Fe Institute)

Computational Complexity and Statistical Physics

By Allon Percus (Institute for Pure & Applied Mathematics, Institute for Pure & Applied Mathematics, UCLA), Gabriel Istrate (, Los Alamos National Laboratory), Cristopher Moore (Departments of Computer Science and Astronomy and Physics, Departments of Com...

Computation and its Limits

By Paul Cockshott (Reader, Department of Computing Science, University of Glasgow), Lewis M Mackenzie (Senior Lecturer, Gregory Michaelson (Professor of Computing Science, Heriot-Watt University, Ed...

Reading, Writing, and Proving: A Closer Look at Mathematics

By Ulrich Daepp, Pamela Gorkin

A New Introduction to Modal Logic

By George Edward Hughes, M. J. Cresswell

Cornerstones of Undecidability

By Grzegorz Rozenberg, Arto Salomaa

Gödel's Incompleteness Theorems

By Raymond M. Smullyan

Beginning Logic

By E.J. Lemmon

Twenty Years of a New Kind of Science

By Stephen Wolfram