Arthur Prior and hybrid logic

Patrick Blackburn

pp. 329-372


This document is unfortunately not available for download at the moment.

Not implemented yet !