Efficient Metamathematics

Dissertation, Universiteit van Amsterdam (1993)
Download Edit this record How to cite View on PhilPapers
This article has no associated abstract. (fix it)
(categorize this paper)
PhilPapers/Archive ID
Revision history
Archival date: 2019-02-06
View upload history
References found in this work BETA
Rosser Orderings and Free Variables.Jongh, Dick & Montagna, Franco

Add more references

Citations of this work BETA

No citations found.

Add more citations

Added to PP index

Total views
12 ( #39,421 of 39,984 )

Recent downloads (6 months)
12 ( #30,166 of 39,984 )

How can I increase my downloads?

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