Efficient Metamathematics

Dissertation, Universiteit van Amsterdam (1993)
Download Edit this record How to cite View on PhilPapers
Abstract
This article has no associated abstract. (fix it)
Categories
(categorize this paper)
PhilPapers/Archive ID
RINEM
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
2019-02-06

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.