Post History

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_](https://www.amazon.ca/Theory-Practice-Lawmaking-Michal-Araszkiewicz/dp/3319371460). I was curious and leafed through.
 
> [![enter image description here](https://i.stack.imgur.com/9Uiqm.jpg)](https://i.stack.imgur.com/9Uiqm.jpg)

1.  What kind of logic is this? I scanned just the pages with the most logic symbols.

2.  What level and subject in university do you learn this logic? Google previews the book, and [page xix](https://books.google.com/books?id=qAC0CgAAQBAJ&printsec=frontcover&dq=Logic+in+the+Theory+and+Practice+of+Lawmaking&hl=en&sa=X&ved=0ahUKEwjukLb9mo7jAhUQCs0KHbKBAPIQ6AEIKjAA#v=onepage&q=Logic%20in%20the%20Theory%20and%20Practice%20of%20Lawmaking&f=false) starts to list contributors' degrees. I see no math degree!