Zur Stufenreduktion von Kalkülen.
Archiv für mathematische Logik und Grundlagenforschung (1965)
- Volume: 8, page 63-103
- ISSN: 0003-9268
Access Full Article
topHow to cite
topFiedler, Herbert. "Zur Stufenreduktion von Kalkülen.." Archiv für mathematische Logik und Grundlagenforschung 8 (1965): 63-103. <http://eudml.org/doc/137782>.
@article{Fiedler1965,
author = {Fiedler, Herbert},
journal = {Archiv für mathematische Logik und Grundlagenforschung},
keywords = {mathematical logic},
pages = {63-103},
title = {Zur Stufenreduktion von Kalkülen.},
url = {http://eudml.org/doc/137782},
volume = {8},
year = {1965},
}
TY - JOUR
AU - Fiedler, Herbert
TI - Zur Stufenreduktion von Kalkülen.
JO - Archiv für mathematische Logik und Grundlagenforschung
PY - 1965
VL - 8
SP - 63
EP - 103
KW - mathematical logic
UR - http://eudml.org/doc/137782
ER -
NotesEmbed ?
topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.