Uma Abordagem sobre a Concepção de Proposição da Teoria Intuicionista de Tipos

Dissertation, Universidade Federal de Goiás (2013)
Download Edit this record How to cite View on PhilPapers
This article has no associated abstract. (fix it)
No keywords specified (fix it)
PhilPapers/Archive ID
Revision history
Archival date: 2016-05-07
View upload history
References found in this work BETA

Add more references

Citations of this work BETA

No citations found.

Add more citations

Added to PP index

Total views
285 ( #15,781 of 50,252 )

Recent downloads (6 months)
76 ( #6,895 of 50,252 )

How can I increase my downloads?

Downloads since first upload
This graph includes both downloads from PhilArchive and clicks to external links.