Document Versions

Dynamic Predicate Logic –Jeroen Groenendijk, Martin Stokhof — 1990