Activity: Talk or presentation › Invited talk › Academic
http://jeroengoudsmit.com/talks/latd-2014-goudsmit-admissible-rules-of-subframe-logics.pdf
Research output: Working paper › Academic