The undecidability of propositional adaptive logic

Leon Horsten , Philip Welch

pp. 217-218


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

Not implemented yet !