An Ultrafilter Logic For Generic Reasoning and Some Applications
Autores
|
943 |
179,409
|
|
|
944 |
Walter A. Carnielli
|
179,409
|
Informações:
Publicações do PESC
Título
An Ultrafilter Logic For Generic Reasoning and Some Applications
Linha de pesquisa
Tipo de publicação
Relatório Técnico
Número de registro
ES-437/97
Data
6/1997
Resumo
Abstract
Arquivo