A BEGINNER'S GUIDE TO MATHEMATICAL LOGIC (PB)

ALICE IN PUZZLE-LAND (PB)

BEGINNER'S FURTHER GUIDE TO MATHEMATICAL LOGIC, A (HB)

BEGINNER'S FURTHER GUIDE TO MATHEMATICAL LOGIC, A (PB)

CHESS MYSTERIES OF SHERLOCK HOLMES (PB)

DIAGONALIZATION AND SELF-REFERENCE (HB)

FIRST-ORDER LOGIC (PB)

FOUR LIVES (HB)

GODEL'S INCOMPLETENESS THEOREMS (HB)

KING ARTHUR IN SEARCH OF HIS DOG AND OTHER CURIOUS PUZZLES (PB)

LOGICAL LABYRINTHS

LOGICAL LABYRINTHS (HB)

MAGIC GARDEN OF GEORGE B AND OTHER LOGIC PUZZLES, THE (HB)

MAGIC GARDEN OF GEORGE B AND OTHER LOGIC PUZZLES, THE (PB)

RECURSION THEORY FOR METAMATHEMATICS (HB)

REFLECTIONS: THE MAGIC, MUSIC AND MATHEMATICS OF RAYMOND SMULLYAN (HB)

REFLECTIONS: THE MAGIC, MUSIC AND MATHEMATICS OF RAYMOND SMULLYAN (PB)

SATAN, CANTOR & INFINITY (PB)

SET THEORY AND THE CONTINUUM PROBLEM (PB)

THE GODELIAN PUZZLE BOOK (PB)

THE LADY OR THE TIGER? (PB)

THE MATHEMATICS OF VARIOUS ENTERTAINING SUBJECTS

THE MATHEMATICS OF VARIOUS ENTERTAINING SUBJECTS (HB)

THE RIDDLE OF SCHENERAZADE (PB)

THE TAO IS SILENT (PB)

THEORY OF FORMAL SYSTEMS. (AM-47)

THEORY OF FORMAL SYSTEMS. (AM-47), VOLUME 47 (PB)

TO MOCK A MOCKINGBIRD: AND OTHER LOGIC PUZZLES (PB)

WHO KNOWS?