J. van EijckBooksComputational linguistics in the NetherlandsLogica voor alfa's en informaticiComputational semantics with functional programmingDynamic reasoning without variablesDiscourses on social softwareQuantifiers, logic, and languageLogic and information flowAuthor data: Open Library