Books

Analysis and Synthesis of Logics

Contracting Logics