Thalmann, L. (2000). Term-modal logic and quantifier-free dynamic assignment logic. Computing Science Department.
Chicago-Zitierstil (17. Ausg.)Thalmann, Lars. Term-modal Logic and Quantifier-free Dynamic Assignment Logic. Uppsala: Computing Science Department, 2000.
MLA-Zitierstil (9. Ausg.)Thalmann, Lars. Term-modal Logic and Quantifier-free Dynamic Assignment Logic. Computing Science Department, 2000.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.