LEADER 01251nam a2200337 i 4500
001 991000773789707536
005 20020507173418.0
008 960430s1979    de            ||| | eng  
020   $a3540095012
035   $ab10755329-39ule_inst
035   $aLE01302105$9ExL
040   $aDip.to Matematica$beng
082 0 $a510.3
084   $aAMS 03D05
100 1 $aFerrante, Jeanne$046752
245 14$aThe computational complexity of logical theories /$cJeanne Ferrante, Charles W. Rackoff
260   $aBerlin :$bSpringer-Verlag,$c1979
300   $ax, 243 p. :$bill. ;$c24 cm.
490 0 $aLecture notes in mathematics,$x0075-8434 ;$v718
500   $aBibliography: p. [234]-238.
500   $aIncludes index
650  4$aAutomata and formal grammars in connection with logical questions
650  4$aComputational complexity
650  4$aPredicate calculus
700 1 $aRackoff, Charles W.
907   $a.b10755329$b23-02-17$c28-06-02
912   $a991000773789707536
945   $aLE013 03D FER11 (1979)$g1$i2013000047034$lle013$o-$pE0.00$q-$rl$s-  $t0$u0$v0$w0$x0$y.i10849543$z28-06-02
996   $aComputational complexity of logical theories$9262975
997   $aUNISALENTO
998   $ale013$b01-01-96$cm$da  $e-$feng$gde $h4$i1

LEADER 02996nam  2200685Ia 450 
001 9911019962903321
005 20200520144314.0
010   $a9786611321284
010   $a9781281321282
010   $a1281321281
010   $a9780470701553
010   $a0470701552
010   $a9780470758335
010   $a0470758333
010   $a9780470758182
010   $a047075818X
035   $a(CKB)1000000000415378
035   $a(EBL)351147
035   $a(OCoLC)476170785
035   $a(SSID)ssj0000296713
035   $a(PQKBManifestationID)11223369
035   $a(PQKBTitleCode)TC0000296713
035   $a(PQKBWorkID)10328066
035   $a(PQKB)10398272
035   $a(MiAaPQ)EBC351147
035   $a(Perlego)2768526
035   $a(EXLCZ)991000000000415378
100   $a20030106d2002      uy         0
101 0 $aeng
135   $aur|n|---|||||
181   $ctxt
182   $cc
183   $acr
200 00$aFormal semantics $ethe essential readings /$fedited by Paul Portner and Barbara H. Partee
210   $aOxford $cBlackwell$d2002
215   $a1 online resource (498 p.)
225 0 $aLinguistics : The essential readings
300   $aDescription based upon print version of record.
311 08$a9780631215417 
311 08$a0631215417 
320   $aIncludes bibliographical references and index.
327   $aFormal Semantics: The Essential Readings; Contents; Acknowledgments; Introduction; 1 The Proper Treatment of Quantification in Ordinary English; 2 A Unified Analysis of the English Bare Plural; 3 Generalized Quantifiers and Natural Language; 4 The Logical Analysis of Plurals and Mass Terms: A Lattice-theoretical Approach; 5 Assertion; 6 Scorekeeping in a Language Game; 7 Adverbs of Quantification; 8 A Theory of Truth and Semantic Representation; 9 File Change Semantics and the Familiarity Theory of Definiteness; 10 On the Projection Problem for Presuppositions
327   $a11 Toward a Semantic Analysis of Verb Aspect and the English "Imperfective" Progressive12 The Notional Category of Modality; 13 The Algebra of Events; 14  Generalized Conjunction and Type Ambiguity; 15 Noun Phrase Interpretation and Type-shifting Principles; 16 Syntax and Semantics of Questions; 17 Type-shifting Rules and the Semantics of Interrogatives; 18 On the Notion Affective in the Analysis of Negative-polarity Items; Index
330   $aFormal Semantics: The Essential Readings is a collection of seminal papers that have shaped the field of formal semantics in linguistics.
410  0$aLinguistics: The Essential Readings
606   $aSemantics
606   $aLinguistics
615  0$aSemantics.
615  0$aLinguistics.
676   $a401.43
676   $a401/.43
701   $aPortner$b Paul$0468043
701   $aPartee$b Barbara Hall$0164728
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9911019962903321
996   $aFormal semantics$92003156
997   $aUNINA