Biblioteca do ISEL

Your search returned 6 results. Subscribe to this search

|
An introduction to mathematical logic and type theory : to truth through proof / Peter B. AndrewsPublication: Dordrecht : Kluwer Academic Publishers, 2002Description: XVIII, 390 p. : il. ; 25 cmAvailability: Items available for loan: [AND. 51] (1).

Language, logic, and concepts : essays in memory of John Macnamara / Ray Jackendoff, Paul Bloom, Karen WynnPublication: Cambridge : The Mit Press, 2002Description: XXVII, 470 p. : il. ; 23 cm.Availability: Items available for loan: [JAC. 681.5(007)] (1).

Foundations of computational linguistics : human-computer communications in natural language / Roland HausserPublication: Berlin : Springer, 2001Description: XIV, 578 p. : il.Availability: Items available for loan: [HAU. 004.8] (1). Items available for reference: [HAU. 004.8] (1).

Prontuário : erros corrigidos de português / D'Silvas FilhoPublication: Lisboa : Texto Editora, 2001Description: 336 p. : il. ; 24 cmAvailability: Items available for reference: [FIL. 030] (1).

Prontuário universal : erros corrigidos de português : ortografia sintaxe fonética / D'Silvas FilhoPublication: Lisboa : Texto Editora, Lda, 1997Description: 320 p. ; cmAvailability: Items available for reference: [FIL. (030)] (1).

Informática-ISEL