Prolegomena to the definition of dynamic predicate logic with local assignments

Authors
  • A. Visser
Publication date 1997
Series Research report Logic Group Preprint Series, 178
Publisher Utrecht: Universiteit Utrecht
Organisations
  • Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
Document type Report
Language English
Permalink to this page
Back