Proof Theory of Modal Logic
Heinrich Wansing
Architecture Patterns with Python
Bob Gregory & Harry Percival
Decoding the Heavens: A 2,000-Year-Old Computer--And the Century-Long ...
Jo Marchant & Josephine Marchant
Historical Dictionary of the Vikings
Katherine Holman
Gurdjieff - A Very Great Enigma
John G. Bennett
Ender's Shadow
Orson Scott Card