Proof theory : a selection of papers from the leeds proof theory programme /

Κύριος συγγραφέας: Aczel, Peter, 1941-
Άλλοι συγγραφείς: Simmons, Harlod, Wainer, Stanley S.
Μορφή: Βιβλίο
Γλώσσα:English
Έκδοση: Cambridge, CB. : Cambridge University Press, 1992
Θέματα: