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 Sat Nov 23 08:57:35 2024 CET.