Algebra of proofs /

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας: Szabo, M. E. (συγγραφέας.)
Μορφή: Βιβλίο
Γλώσσα:English
Έκδοση: Amsterdam ; North-Holland, 1978.
Σειρά:Studies in logic and the foundations of mathematics
Θέματα:

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