Fresh Logic (2007)

by Murdoch J. Gabbay , Aad Mathijssen
Venue:Journal of Applied Logic
Citations:183 - 21 self