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)

BEYOND TWO: THEORY AND APPLICATIONS OF MULTIPLE-VALUED LOGIC (HB)

BEYOND TWO: THEORY AND APPLICATIONS OF MULTIPLE-VALUED LOGIC (PB)

CHESS MYSTERIES OF SHERLOCK HOLMES (PB)

DIAGONALIZATION AND SELF-REFERENCE (HB)

FIRST ORDER MODAL LOGIC (HB)

FIRST-ORDER LOGIC (PB)

FIRST-ORDER LOGIC AND AUTOMATED THEOREM PROVING (HB)

FIRST-ORDER LOGIC AND AUTOMATED THEOREM PROVING (PB)

FIRST-ORDER LOGIC AND AUTOMATED THEOREM PROVING (PB)

FIRST-ORDER MODAL LOGIC (HB)

FIRST-ORDER MODAL LOGIC (PB)

FOUR LIVES (HB)

FUNDAMENTALS OF GENERALIZED RECURSION THEORY (HB)

GODEL'S INCOMPLETENESS THEOREMS (HB)

INCOMPLETETUDE NA TERRA DOS CONJUNTOS (PB)

JUSTIFICATION LOGIC (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)

NUMBERS (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)

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

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)

TYPES, TABLEAUS AND GODEL'S GOD (HB)

WHAT IS THE NAME OF THIS BOOK? (PB)

WHO KNOWS?