What kind of logic does “Logic in the Theory and Practice of Lawmaking” employ?
I stumbled on 2016 Springer book Logic in the Theory and Practice of Lawmaking. I was curious and leafed through.
What kind of logic is this? I scanned just the pages with the most logic symbols.
What level and subject in university do you learn this logic? Google previews the book, and page xix starts to list contributors' degrees. I see no math degree!