Berardi:APAL08 (Article)
|
Author(s) | Stefano Berardi and Yoriyuki Yamagata |
Title | « A sequent calculus for limit computable mathematics » |
Journal | Annals of Pure and Applied Logic |
Volume | ??? |
Page(s) | ???-??? |
Year | 2008 |
@article{Berardi:APAL08,
volume = {???},
title = {A sequent calculus for limit computable mathematics},
author = {Stefano Berardi AND Yoriyuki Yamagata},
pages = {???-???},
year = {2008},
journal = {Annals of Pure and Applied Logic},
}
This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)