Procedural Semantics for Hyperintensional Logic Foundations and Applications of Transparent Intensional Logic

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας: DuΕΎΓ­, Marie
Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
Άλλοι συγγραφείς: Jespersen, Bjorn, Materna, Pavel
Μορφή: Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
Γλώσσα:English
Έκδοση: Dordrecht Springer Science+Business Media B.V. 2010
Σειρά:Logic, Epistemology, and the Unity of Science 17
Θέματα:
Διαθέσιμο Online:http://dx.doi.org/10.1007/978-90-481-8812-3
LEADER 01634nom a2200421 u 4500
001 10091674
003 upatras
005 20210419075743.0
008 110802s2010 eng
020 |a 9789048188123 
040 |a GR-PaULI  |c GR-PaULI 
041 0 |a eng 
100 1 |a DuΕΎΓ­, Marie  |9 96448 
245 1 0 |a Procedural Semantics for Hyperintensional Logic  |h [electronic resource]  |b Foundations and Applications of Transparent Intensional Logic  |c by Marie DuΕΎΓ­, Bjorn Jespersen, Pavel Materna 
260 |a Dordrecht  |b Springer Science+Business Media B.V.  |c 2010 
300 |b v.: digital 
490 0 |a Logic, Epistemology, and the Unity of Science  |v 17 
650 4 |a Philosophy (General)  |9 65141 
650 4 |a Logic  |9 64716 
650 4 |a Οντολογία  |9 3373 
650 4 |a Γλωσσολογία  |x Φιλοσοφία  |9 7326 
650 4 |a Coding theory  |9 18746 
650 4 |a Σημασιολογία  |9 7132 
650 4 |a Philosophy  |9 11224 
650 4 |a Logic  |9 64716 
650 4 |a Σημασιολογία  |9 7132 
650 4 |a Coding and Information Theory  |9 64620 
650 4 |a Γλώσσα και γλώσσες  |x Φιλοσοφία  |9 518 
650 4 |a Οντολογία  |9 3373 
700 1 |a Jespersen, Bjorn  |9 96449 
700 1 |a Materna, Pavel  |9 96450 
710 2 |a SpringerLink (Online service)  |9 68735 
760 1 |a Logic, Epistemology, and the Unity of Science  |g 17 
852 |a GR-PaULI  |b ΠΑΤΡΑ  |b ΒΚΠ 
856 4 0 |u http://dx.doi.org/10.1007/978-90-481-8812-3 
942 |2 ddc 
952 |0 0  |1 0  |4 0  |7 0  |9 99588  |a LISP  |b LISP  |d 2016-04-24  |l 0  |r 2016-04-24 00:00:00  |w 2016-04-24  |y ERS 
999 |c 67374  |d 67374