Search results
- 1.0522756 - FLÚ 2020 eng U - Conference, Workshop Arrangement
Punčochář, Vít - Sedlár, Igor
Logica 2019.
[Hejnice, 24.06.2019-28.06.2019, (K-WRD 46/27)]
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
Permanent Link: http://hdl.handle.net/11104/0307199 - 2.0522755 - FLÚ 2020 eng U - Conference, Workshop Arrangement
Punčochář, Vít - Sedlár, Igor
Logica 2018.
[Hejnice, 18.06.2018-22.06.2018, (K-WRD 46/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
Permanent Link: http://hdl.handle.net/11104/0307198 - 3.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
Permanent Link: http://hdl.handle.net/11104/0278752