TY  - GEN
T1  - A portrait of Alfred Tarski
A1  - GIVANT, Steven R.
UL  - http://buscaintegrada.pucsp.br/vufind/Record/108356
KW  - Ciência da computação
KW  - Inteligência artificial
ER  -