@article{AMLG_1966__10_137799,
     author = {Horst Luckhardt},
     title = {Aussagenlogisch fundierte {Theorien.}},
     journal = {Archiv f\"ur mathematische Logik und Grundlagenforschung},
     pages = {37--58},
     year = {1966},
     volume = {10},
     zbl = {0165.30503},
     url = {http://geodesic.mathdoc.fr/item/AMLG_1966__10_137799/}
}