LEADER 02231 am  22004693u 450 
001 9910318334103321
005 20221206182215.0
010   $a3-96110-153-1
024 7 $a10.5281/zenodo.2600163
035   $a(CKB)4100000007992692
035   $a(OAPEN)1004856
035   $a(ScCtBLL)d96c16c1-6540-4968-afec-8b3c3065eb99
035   $a(oapen)https://directory.doabooks.org/handle/20.500.12854/27573
035   $a(PPN)243637101
035   $a(EXLCZ)994100000007992692
100   $a20200310h20192019  fy             0
101 0 $apor
135   $aurmu#---auuuu
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aCurso de semântica formal /$fMarcelo Ferreira
210   $aBerlin$cLanguage Science Press$d2019
210  1$aBerlin, Germany :$cLanguage Science Press,$d[2019]
210  4$d©2019
215   $a1 online resource (vii, 186 pages) $cPDF, digital file(s)
225 0 $aTextbooks in language sciences ;$v6
311   $a3-96110-154-X 
320   $aIncludes bibliographical references.
330   $aEste livro é um curso introdutório em semântica formal e tem o intuito de apresentar um sistema interpretativo composicional, formalizado através de algumas ferramentas lógico-matemáticas. Não se pressupõe experiência prévia com abordagens formais para o significado. Em sala de aula, poderá ser usado tanto em cursos mais avançados na graduação quanto em cursos de pós-graduação. Fora dela, poderá satisfazer estudantes autodidatas, professores e pesquisadores não apenas de linguística, mas também de áreas afins com interesse na análise e formalização do significado no âmbito das línguas naturais, como filosofia, ciências cognitivas e inteligência artificial. O livro está dividido em 7 capítulos.
606   $aLinguistics$xSemantics
606   $aSemantics, discourse analysis, etc$2bicssc
610   $aLinguistics
615  0$aLinguistics$xSemantics.
615  7$aSemantics, discourse analysis, etc
676   $a401.43
700   $aFerreira$b Marcelo$0964508
801  2$bUkMaJRU
906   $aBOOK
912   $a9910318334103321
996   $aCurso de semântica formal$92188199
997   $aUNINA