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 finitistic consistency of Heck's predicative Fregean system

Participantes na publicação
Cruz-Filipe, L. (Author)
Fernando Ferreira (Author)
Dep. Matemática
CMAF

Data de Publicação
2015

Suporte
NOTRE DAME JOURNAL OF FORMAL LOGIC

Identificadores da Publicação
ISSN - 0029-4527

Volume
56

Página Inicial
61
Página Final
79

Identificadores do Documento
URL - https://projecteuclid.org/euclid.ndjfl/1427202974

Identificadores de Qualidade
SCOPUS Q3 (2015) - 0.852 - Logic


Exportar referência

APA
Cruz-Filipe, L., Fernando Ferreira, (2015). The finitistic consistency of Heck's predicative Fregean system. NOTRE DAME JOURNAL OF FORMAL LOGIC, 56, 61-79. ISSN 0029-4527. eISSN . https://projecteuclid.org/euclid.ndjfl/1427202974

IEEE
Cruz-Filipe, L., Fernando Ferreira, "The finitistic consistency of Heck's predicative Fregean system" in NOTRE DAME JOURNAL OF FORMAL LOGIC, vol. 56, pp. 61-79, 2015.

BIBTEX
@article{22969, author = {Cruz-Filipe, L. and Fernando Ferreira}, title = {The finitistic consistency of Heck's predicative Fregean system}, journal = {NOTRE DAME JOURNAL OF FORMAL LOGIC}, year = 2015, pages = {61-79}, volume = 56 }