Published March 7, 2008
| Version v1
Journal article
Open
A sequent calculus for limit computable mathematics
Authors/Creators
Description
n/a
Files
fulltext.pdf
Files
(157.5 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:413e145e2b75dbf3d18fcb46a3ac0a85
|
157.5 kB | Preview Download |