Κύριος συγγραφέας:	Detlefsen, Michael
Μορφή:	Βιβλίο
Γλώσσα:	English
Έκδοση:	London : Routledge, 1992
Θέματα:	Proof theory Logic, Symbolic and mathematical