[BF2001] A Note on the Proof-Theoretic Strength of a single application of the Schema of Identity
| BF01PTCS (In proceedings)
|
| Author(s) | Baaz M. and Fermüller C. G. |
| Title | "A Note on the Proof-Theoretic Strength of a single application of the Schema of Identity" |
| Date | 2001 |
| In | Proof Theory in Computer Science |
| Editor(s) | Kahle R., Schroeder-heister P. and Stärk R. |
| Number | 2183 |
| Series | LNCS |
| Page(s) | 38--48 |
| Publisher | Springer |
@inproceedings{BF01PTCS,
title = {A Note on the Proof-Theoretic Strength of a single application of the Schema of Identity},
year = {2001},
booktitle = {Proof Theory in Computer Science},
editor = {R. Kahle, P. Schroeder-Heister, R. St{\"a}rk},
pages = {38--48},
number = {2183},
publisher = {Springer},
author = {Baaz, M. and Fermüller, C. G.},
series = {LNCS},
}
Submit a bug
This document was generated by bib2html 1.2.
Copyright © 1998-04 Stéphane GALLAND (under the GNU General Public License)