國立高雄大學圖資館 |

Language: English

Back

Procedural semantics for hyperintens...

Duzi, Marie.

Procedural semantics for hyperintensional logicfoundations and applications of transparent intensional logic /

Record Type:	Electronic resources : Monograph/item
Title/Author:	Procedural semantics for hyperintensional logicby Marie Duzi, Bjorn Jespersen, Pavel Materna.
Reminder of title:	foundations and applications of transparent intensional logic /
Author:	Duzi, Marie.
other author:	Materna, Pavel.
Published:	Dordrecht :Springer Science+Business Media B.V.,2010.
Description:	xiii, 552 p. :ill., digital ;24 cm.
Series:	Logic, epistemology, and the unity of science ;
Contained By:	Springer eBooks
Subject:	Language and logic.
Online resource:	http://dx.doi.org/10.1007/978-90-481-8812-3
ISBN:	9789048188123 (electronic bk.)

Procedural semantics for hyperintensional logicfoundations and applications of transparent intensional logic /
Duzi, Marie.

Procedural semantics for hyperintensional logicfoundations and applications of transparent intensional logic /[electronic resource] :by Marie Duzi, Bjorn Jespersen, Pavel Materna. - Dordrecht :Springer Science+Business Media B.V.,2010. - xiii, 552 p. :ill., digital ;24 cm. - Logic, epistemology, and the unity of science ;v.17.

ISBN: 9789048188123 (electronic bk.)Subjects--Topical Terms:

244166
Language and logic.

LC Class. No.: P39 / .D89 2010

Dewey Class. No.: 401.43

Procedural semantics for hyperintensional logicfoundations and applications of transparent intensional logic /
LDR:00919nmm 2200241 a 4500 001 274439
003 Springer
005 20101124094255.0
006 m d
007 cr nn 008maaau
008 101221s2010 ne s j eng d
020 $a 9789048188123 (electronic bk.)
020 $a 9789048188116 (paper)
035 $a 978-90-481-8811-6
050 0 4 $a P39 $b .D89 2010
082 0 4 $a 401.43 $2 22
090 $a P39 $b .D988 2010
100 1 $a Duzi, Marie. $3 485724
245 1 0 $a Procedural semantics for hyperintensional logic $h [electronic resource] : $b foundations and applications of transparent intensional logic / $c by Marie Duzi, Bjorn Jespersen, Pavel Materna.
260 $a Dordrecht : $b Springer Science+Business Media B.V., $c 2010.
300 $a xiii, 552 p. : $b ill., digital ; $c 24 cm.
440 0 $a Logic, epistemology, and the unity of science ; $v v.17
650 0 $a Language and logic. $3 244166
650 1 4 $a Philosophy. $3 176573
650 2 4 $a Logic. $3 180785
650 2 4 $a Semantics. $3 177636
650 2 4 $a Coding and Information Theory. $3 273763
650 2 4 $a Philosophy of Language. $3 274774
650 2 4 $a Ontology. $3 176396
700 1 $a Materna, Pavel. $3 485726
700 1 $a Jespersen, Bjorn. $3 485725
710 2 $a SpringerLink (Online service) $3 273601
773 0 $t Springer eBooks
856 4 0 $u http://dx.doi.org/10.1007/978-90-481-8812-3
950 $a Humanities, Social Science and Law (Springer-11648)