A Reduction-Principle for Infinite Formulas.
Mathematische Annalen (1963)
- Volume: 151, page 296-303
- ISSN: 0025-5831; 1432-1807/e
Access Full Article
topHow to cite
topENGELER, E.. "A Reduction-Principle for Infinite Formulas.." Mathematische Annalen 151 (1963): 296-303. <http://eudml.org/doc/161085>.
@article{ENGELER1963,
author = {ENGELER, E.},
journal = {Mathematische Annalen},
keywords = {mathematical logic},
pages = {296-303},
title = {A Reduction-Principle for Infinite Formulas.},
url = {http://eudml.org/doc/161085},
volume = {151},
year = {1963},
}
TY - JOUR
AU - ENGELER, E.
TI - A Reduction-Principle for Infinite Formulas.
JO - Mathematische Annalen
PY - 1963
VL - 151
SP - 296
EP - 303
KW - mathematical logic
UR - http://eudml.org/doc/161085
ER -
NotesEmbed ?
topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.