Bemærk: Kan ikke leveres før jul.
A volume in which the author develops his "reflexive-referential" account of indexicals, demonstratives, and proper names. It also includes a preface and two chapters on the distinction between semantics and pragmatics and on attitude reports.
Bemærk: Kan ikke leveres før jul.
Bemærk: Kan ikke leveres før jul.
Mathematicians at every level use diagrams to prove theorems. This book investigates the possibilities of mechanizing this sort of reasoning in a formal computer-proof system, and offers a semi-automatic formal proof system which allows users to prove theorems using diagrams.