new books studies logic language information studies logic language information kanazawa makoto chiba university japan learnable classes categorial grammars isbn 157586 096 1 paper 157586 097 x cloth 184 pp csli publications 1998 http csliwww stanford edu publications email pubs roslin stanford edu distributed cambridge university press book investigates learnability various classes classical categorial grammars within gold paradigm identification limit positive data two types learning learning structures learning flat strings considered class kvalued grammars k 1 2 3 shown learnable structures strings class leastvalued grammars class leastcardinality grammars shown learnable structures proving learnable results crucial use made theorem concept known finite elasticity learning algorithms used work build buszkowski penn algorithms finding categorial grammars input consisting functorargument structures ginzburg jonathan hebrew university jerusalem khasidashvili zurab ntt basic research labs japan vogel carl university dublin le vy jean jacques ecole polytechnique vallduvi enric universitat pompeu fabra tbilisi symposium logic language computation selected papers isbn 157586 098 8 paper 157586 099 6 cloth 376 pp csli publications 1998 http csliwww stanford edu publications email pubs roslin stanford edu distributed cambridge university press volume brings together papers linguists logicians computer scientists thirteen countries armenia denmark france georgia germany israel italy japan poland spain sweden uk usa collection two main aims first serve catalyst new interdisciplinary developments language logic computation second introduce new ideas expanded european academic community spanning wide range disciplines papers included volume cover topics formal semantics natural language dynamic semantics channel theory formal syntax natural language formal language theory corpusbased methods computational linguistics computational semantics syntactic semantic aspects lambdacalculus nonclassical logics fundamental problem predicate logic papers appear volume selected originally presented first tbilisi symposium language logic computation took place gudauri republic georgia october 1995