Procedural semantics for hyperintensional logic: foundations and applications of transparent intensional logic
Jespersen, Bjorn, Duží, Marie, Materna, Pavelカテゴリー:
年:
2010
出版社:
Springer Science+Business Media B.V
言語:
english
ページ:
567
ISBN 10:
9048188121
ISBN 13:
9789048188123
シリーズ:
Logic, Epistemology, and the Unity of Science 17
ファイル:
PDF, 2.76 MB
IPFS:
,
english, 2010