BibTeX
@MISC{Pollett99translatingi∆0+(exp),
author = {Chris Pollett},
title = { Translating I∆0+(exp) proofs into weaker systems},
year = {1999}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
The purpose of this paper is to explore the relationship between I∆0+(exp)
