Number of the records: 1
Composition of Deductions within the Propositions-As-Types Paradigm
- 1.Pezlar, Ivo
Composition of Deductions within the Propositions-As-Types Paradigm.
Logica Universalis. Roč. 14, č. 4 (2020), s. 481-493. ISSN 1661-8297. E-ISSN 1661-8300
OECD category: Philosophy, History and Philosophy of science and technology
Impact factor: 0.385, year: 2020
Method of publishing: Limited access
https://doi.org/10.1007/s11787-020-00260-3
http://hdl.handle.net/11104/0313350
Number of the records: 1