Metalogic

This work makes available to readers without specialized training in mathematics complete proofs of the fundamental metatheorems of standard (i.e., basically truth-functional) first order logic. Included is a complete proof, accessible to non-mathematicians, of the undecidability of first order logic, the most important fact about logic to emerge from the work of the last half-century.

Raymond Smullyan is a unique set of personalities that includes a philosopher, logician, mathematician, musician, magician,humorist, writer, and maker of marvelous puzzles. Because he is a skillful writer and humorist, he enjoys presenting his puzzles in narrative forms that often parody great works of popular fiction.

In Southern Hyperboles: Metafigurative Strategies of Narration, Michał Choiński confronts the often paradoxical and excessive elements of southern literature, focusing on dominant narrative modes and representation strategies in works produced from the early 1930s to the late 1950s. With renewed attention to renderings of the gothic and grotesque, Choiński argues that modernist literature from the U.S. South often deploys the trope of hyperbole, which escalates contrasts and disrupts the sense of the normal.