[Bec2002] A non-well-founded primitive recursive tree provably well-founded for co-r.e. sets
| beckmann:nwft:02 (Article)
|
| Author(s) | Beckmann A. |
| Title | "A non-well-founded primitive recursive tree provably well-founded for co-r.e. sets" |
| Date | 2002 |
| Journal | Arch. Math. Logic |
| Volume | 41 |
| Number | - |
| Page(s) | 251--257 |
@article{beckmann:nwft:02,
journal = {Arch. Math. Logic},
volume = {41},
title = {A non-well-founded primitive recursive tree provably well-founded for co-r.e.\ sets},
author = {Beckmann, Arnold},
year = {2002},
fjournal = {Archive for Mathematical Logic},
pages = {251--257},
}
Submit a bug
This document was generated by bib2html 1.2.
Copyright © 1998-04 Stéphane GALLAND (under the GNU General Public License)