Number of the records: 1
Logica 2017
- 1.0483432 - FLÚ 2018 RIV eng U - Conference, Workshop Arrangement
Punčochář, Vít - Svoboda, Vladimír
Logica 2017.
[Hejnice, 19.06.2017-23.06.2017, (K-WRD 37/25)]
R&D Projects: GA ČR(CZ) GA17-15645S
Institutional support: RVO:67985955
Keywords : logic * philosophy of logic * philosophy of mathematics * formal semantics
OECD category: Philosophy, History and Philosophy of science and technology
The 31st in the series of annual international symposia devoted to logic and philosophy of logic.
Permanent Link: http://hdl.handle.net/11104/0278752
Number of the records: 1