Labelled Deduction
Dov M. Gabbay & David Basin & M. D'Agostino & Seán Matthews & Luca Viganò
Python Programming for Beginners in 2021: Learn Python in 5 ...
James Tudor
The Makepeace Experiment
Manya Harari & Abram Tertz
Dyadic Logic: Austere, Intensional, Predicate Calculus (1992) ...
M. S. Lanus & E. A. Ashcroft
Geometric Optics: Theory and Design of Astronomical Optical ...
Antonio Romano
The Day of the Triffids
John Wyndham