LEADER 02091nam  2200589 a 450 
001 9910816879303321
005 20200520144314.0
010   $a1-283-23450-5
010   $a9786613234506
010   $a1-84816-458-0
035   $a(CKB)3400000000016743
035   $a(EBL)840536
035   $a(OCoLC)858227911
035   $a(SSID)ssj0000539018
035   $a(PQKBManifestationID)12177384
035   $a(PQKBTitleCode)TC0000539018
035   $a(PQKBWorkID)10568549
035   $a(PQKB)10623997
035   $a(MiAaPQ)EBC840536
035   $a(WSP)0000P670
035   $a(Au-PeEL)EBL840536
035   $a(CaPaEBR)ebr10493525
035   $a(CaONFJC)MIL323450
035   $a(PPN)17135995X
035   $a(EXLCZ)993400000000016743
100   $a20110826d2011      uy         0
101 0 $aeng
135   $aur|n|---|||||
181   $ctxt
182   $cc
183   $acr
200 10$aMeaning, logic and ludics$b[electronic resource] /$fAlain Lecomte
210   $aLondon $cImperial College Press ;$aHackensack, N.J. $cDistributed by World Scientific Pub. Co. Pte. Ltd.$dc2011
215   $a1 online resource (388 p.)
300   $aDescription based upon print version of record.
311   $a1-84816-456-4 
320   $aIncludes bibliographical references (p. 353-361) and indexes.
327   $apt. 1. Truth-conditional meaning -- pt. 2. Logic -- pt. 3. Proof theory applied to linguistics -- pt. 4. Ludics.
330   $aThis book presents several recent advances in natural language semantics and explores the boundaries between syntax and semantics over the last two decades. It is based on some of the most recent theories in logic, such as linear logic and ludics, first c
606   $aComputational linguistics
606   $aLogic
615  0$aComputational linguistics.
615  0$aLogic.
676   $a006.3/5
700   $aLecomte$b Alain$f1947-$01673376
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910816879303321
996   $aMeaning, logic and ludics$94037419
997   $aUNINA