Kuznets, Roman
(2009).
A Note on the Use of Sum in the Logic of Proofs.
In:
Drossos, Costas; , ; , ; Tsinakis, Constantine
(eds.)
Proceedings of the 7th Panhellenic Logic Symposium (pp. 99-103).
Patras University Press
This list was generated on Sun Sep 1 08:23:55 2024 CEST.