BIBLIOS

  Sistema de Gestão de Referências Bibliográficas de Ciências

Modo Visitante (Login)
Need help?


Voltar

Detalhes Referência

Tipo
Artigos em Revista

Tipo de Documento
Artigo Completo

Título
The faithfulness of Fat: a proof-theoretic proof

Participantes na publicação
Fernando Ferreira (Author)
Dep. Matemática
CMAFcIO
Gilda Ferreira (Author)
LASIGE
CMAFcIO

Data de Publicação
2015

Suporte
STUDIA LOGICA

Identificadores da Publicação
ISSN - 0039-3215

Volume
103
Fascículo
6

Página Inicial
1303
Página Final
1311


Exportar referência

APA
Fernando Ferreira, Gilda Ferreira, (2015). The faithfulness of Fat: a proof-theoretic proof. STUDIA LOGICA, 103, 1303-1311. ISSN 0039-3215. eISSN .

IEEE
Fernando Ferreira, Gilda Ferreira, "The faithfulness of Fat: a proof-theoretic proof" in STUDIA LOGICA, vol. 103, pp. 1303-1311, 2015.

BIBTEX
@article{22977, author = {Fernando Ferreira and Gilda Ferreira}, title = {The faithfulness of Fat: a proof-theoretic proof}, journal = {STUDIA LOGICA}, year = 2015, pages = {1303-1311}, volume = 103 }