Proof and Computation II: From Proof Theory and Univalent Mathematics to Program Extraction and Verification

The Book of Lists: Horror: An All-New Collection Featuring Stephen King, Eli Roth, Ray Bradbury, and More, with an Introduction by Gahan Wilson – A Macabre Reference

Lovers at the Chameleon Club, Paris 1932: A Richly Imagined Novel of Love, Ambition, and Betrayal in 1920s Paris (P.S. (Paperback))

Cinderella Ate My Daughter: Dispatches from the Front Lines of the New Girlie-Girl Culture

Shadow Tag: A Novel (P.S.)

The Red Convertible: Selected and New Stories, 1978-2008

Encyclopedia of 5,000 Spells: The Ultimate Reference Book for the Magical Arts, Exploring Folklore, Myth, and Magic from Every Corner of the Earth and Across Millennia

Lulu Powers Food to Flowers: Simple, Stylish Food for Easy Entertaining

The Thoreau You Don't Know: The Father of Nature Writers on the Importance of Cities, Finance, and Fooling Around – The Political Activist Who Inspired Gandhi and MLK