Term Logic with Choice Operator by Hans Hermes | Menrva Books | MenrvaBooks