Κύριος συγγραφέας:	Eccles, Peter J.
Μορφή:	Βιβλίο
Γλώσσα:	English
Έκδοση:	Cambridge : Cambridge University Press, c1997
Θέματα:	Proof theory Mathematics Languages Algorithms