LEADER 02955nam  2200661 a 450 
001 9910145589603321
005 20170815114615.0
010   $a1-281-31044-1
010   $a9786611310448
010   $a0-470-77354-5
010   $a0-470-77529-7
035   $a(CKB)1000000000407571
035   $a(EBL)351148
035   $a(OCoLC)476170791
035   $a(SSID)ssj0000157542
035   $a(PQKBManifestationID)11151079
035   $a(PQKBTitleCode)TC0000157542
035   $a(PQKBWorkID)10138694
035   $a(PQKB)10449012
035   $a(MiAaPQ)EBC351148
035   $a(MiAaPQ)EBC7076168
035   $a(Au-PeEL)EBL7076168
035   $a(EXLCZ)991000000000407571
100   $a20050411d2005      uy             0
101 0 $aeng
135   $aur|n|---|||||
181   $ctxt
182   $cc
183   $acr
200 10$aFoundations of intensional semantics$b[electronic resource] /$fChris Fox and Shalom Lappin
210   $aMalden MA $cBlackwell Pub.$d2005
215   $a1 online resource (210 p.)
300   $aDescription based upon print version of record.
311   $a0-631-23376-8 
311   $a0-631-23375-X 
320   $aIncludes bibliographical references (p. [172]-179) and index.
327   $aFoundations of Intensional Semantics; Contents; Preface; List of Abbreviations; 1 Introduction; 2 Alternative Approaches to Fine-Grained Intensionality; 3 Intensions as Primitives; 4 A Higher-Order, Fine-Grained Intensional Logic; 5 Property Theory with Curry Typing; 6 Number Theory and Cardinality; 7 Anaphora and Ellipsis; 8 Underspecified Interpretations; 9 Expressive Power and Formal Strength; 10 Conclusion; Bibliography; Author Index; Subject Index; 
330   $aThis book provides a systematic study of three foundational issues in the semantics of natural language that have been relatively neglected in the past few decades.; focuses on the formal characterization of intensions, the nature of an adequate type system for natural language semantics, and the formal power of the semantic representation language.; proposes a theory that offers a promising framework for developing a computational semantic system sufficiently expressive to capture the properties of natural language meaning while remaining computationally tractable.; written by two leading res
606   $aSemantics
606   $aSemantics (Philosophy)
606   $aIntention (Logic)
606   $aSemantics$xData processing
608   $aElectronic books.
615  0$aSemantics.
615  0$aSemantics (Philosophy)
615  0$aIntention (Logic)
615  0$aSemantics$xData processing.
676   $a401.43
676   $a401/.43
700   $aFox$b Chris$f1965-$0914479
701   $aLappin$b Shalom$0161732
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910145589603321
996   $aFoundations of intensional semantics$92058861
997   $aUNINA

LEADER 01231nam a2200313 i 4500
001 991001318459707536
005 20020507191246.0
008 950914s1993    uk            ||| | eng  
020   $a020163192X
035   $ab10830856-39ule_inst
035   $aLE01310430$9ExL
040   $aDip.to Matematica$beng
084   $aAMS 68N15
084   $aCR D.3.3
084   $aQA76.64.B89
100 1 $aBuzzi-Ferraris, Guido$0342
245 10$aScientific C++ :$bbuilding numerical libraries the object-oriented way /$cGuido Buzzi-Ferraris
260   $aWokingham, Engl. ; Reading, Mass :$bAddison-Wesley,$cc1993
300   $axviii, 479 p. :$bill. ;$c24 cm. + 1 computer disk (3 1/2 in.)
500   $aIncludes bibliographical references (p. 476) and index.
500   $aSystem requirements for computer disk: IBM-compatible PC; DOS
650  4$aC++ (Computer program language)
650  4$aObject-oriented programming
907   $a.b10830856$b12-11-07$c28-06-02
912   $a991001318459707536
945   $aLE013 68N BUZ11 (1993)$g1$i2013000035673$lle013$o-$pE0.00$q-$rl$s-  $t0$u3$v0$w3$x0$y.i10939520$z28-06-02
996   $aScientific C++$9923644
997   $aUNISALENTO
998   $ale013$b01-01-95$cm$da  $e-$feng$guk $h0$i1