A Reduction-Principle for Infinite Formulas.

E. ENGELER

Mathematische Annalen (1963)

  • Volume: 151, page 296-303
  • ISSN: 0025-5831; 1432-1807/e

How to cite

top

ENGELER, 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 ?

top

You must be logged in to post comments.