TY  - JOUR
AU  - P. Bernays
TI  - Axiomatische Untersuchung des Aussagen-Kalküls der 
JO  - Mathematische Zeitschrift
PY  - 1926
SP  - 305
EP  - 320
VL  - 25
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MZ_1926__25_167883/
ID  - MZ_1926__25_167883
ER  -