[BP1993] Kreisel's Conjecture for
| BaazPudl93APTCC (In a collection)
|
| Author(s) | Baaz M. and Pudlák P. |
| Title | "Kreisel's Conjecture for " |
| Date | 1993 |
| In | Arithmetic, Proof Theory and Computational Complexity |
| Editor(s) | Clote P. and Krajícek J. |
| Page(s) | 29--59 |
| Publisher | Oxford University Press |
| Note | With a postscript by G. Kreisel |
@incollection{BaazPudl93APTCC,
title = {Kreisel's Conjecture for {${\rm L}\exists_1$}},
year = {1993},
booktitle = {Arithmetic, Proof Theory and Computational Complexity},
pages = {29--59},
editor = {Clote, P. and Kraj{\'\i}{\v c}ek, J.},
publisher = {Oxford University Press},
author = {Baaz, M. and Pudl{\'a}k, P.},
note = {With a postscript by G.˜Kreisel},
}
Submit a bug
This document was generated by bib2html 1.2.
Copyright © 1998-04 Stéphane GALLAND (under the GNU General Public License)