Idioma:

Entailment multipliers an algebraic characterization of validity for classical and modal logics

Marcelo Finger Maruricio S. C Hernandes; International Workshop on Logic, Language, Information, and Computation - WoLLIC (2010 Brasília)

Proceedings Berlin : Springer, 2010

Localização: IME - Inst. Matemática e Estatística (PROD-2176241 ) e outros locais(Acessar)

IME - Inst. Matemática e Estatística (PROD-2176241 ) Disponível na Biblioteca

Local	Número de chamada	Descrição	Status / Emprestado até	Código de barras	Tipo de item	Opções de solicitação
IME-Inst. Mat. e Estatística	PROD-2176241		Item disponível	2176241-10	RECURSO ELETRÔNICO	Select Request Option: Clique aqui para se identificar
Localização: IME-Inst. Mat. e Estatística Número de chamada: PROD-2176241 Status: Item disponível Código de Barras: 2176241-10 Tipo de item: RECURSO ELETRÔNICO Status de item: PCD - não circula

Voltar para lista de resultados