Kontinen, Juha. "On Natural Deduction in Dependence Logic".
Logic Without Borders: Essays on Set Theory, Model Theory, Philosophical Logic and Philosophy of Mathematics, edited by Åsa Hirvonen, Juha Kontinen, Roman Kossak and Andrés Villaveces, Berlin, München, Boston: De Gruyter, 2015, pp. 297-304.
https://doi.org/10.1515/9781614516873.297
Kontinen, J. (2015). On Natural Deduction in Dependence Logic. In Å. Hirvonen, J. Kontinen, R. Kossak & A. Villaveces (Ed.),
Logic Without Borders: Essays on Set Theory, Model Theory, Philosophical Logic and Philosophy of Mathematics (pp. 297-304). Berlin, München, Boston: De Gruyter.
https://doi.org/10.1515/9781614516873.297
Kontinen, J. 2015. On Natural Deduction in Dependence Logic. In: Hirvonen, Å., Kontinen, J., Kossak, R. and Villaveces, A. ed.
Logic Without Borders: Essays on Set Theory, Model Theory, Philosophical Logic and Philosophy of Mathematics. Berlin, München, Boston: De Gruyter, pp. 297-304.
https://doi.org/10.1515/9781614516873.297
Kontinen, Juha. "On Natural Deduction in Dependence Logic" In
Logic Without Borders: Essays on Set Theory, Model Theory, Philosophical Logic and Philosophy of Mathematics edited by Åsa Hirvonen, Juha Kontinen, Roman Kossak and Andrés Villaveces, 297-304. Berlin, München, Boston: De Gruyter, 2015.
https://doi.org/10.1515/9781614516873.297
Kontinen J. On Natural Deduction in Dependence Logic. In: Hirvonen Å, Kontinen J, Kossak R, Villaveces A (ed.)
Logic Without Borders: Essays on Set Theory, Model Theory, Philosophical Logic and Philosophy of Mathematics. Berlin, München, Boston: De Gruyter; 2015. p.297-304.
https://doi.org/10.1515/9781614516873.297
Copied to clipboard