Publications

Export 1 results:
Author Title [ Type(Desc)] Year
Filters: Author is Verdée, Peter and First Letter Of Title is P  [Clear All Filters]
Journal Article
Verdée, Peter. 2012. A Proof Procedure For Adaptive Logics. Logic Journal of IGPL 21: 743-766.