Proof theory /

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας: Takeuti, Gaisi 1926- (συγγραφέας.)
Μορφή: Βιβλίο
Γλώσσα:English
Έκδοση: Amsterdam : New York : North-Holland Pub. Co. ; American Elsevier Pub. Co., 1975.
Σειρά:Studies in logic and the foundations of mathematics 81.
Θέματα:

Παρόμοια τεκμήρια