TY  - RPRT
TI  - Eine vollstaendige Formalisierung der Aristotelischen Notwendigkeitssyllogistik
AU  - Holger Brenner
PY  - 2002
UR  - https://arxiv.org/abs/math/0209372
ID  - math/0209372
ER  -