Search results
- 1.0466495 - FLÚ 2017 RIV eng U - Conference, Workshop Arrangement
Punčochář, Vít - Svoboda, Vladimír
Logica 2016.
[Hejnice, 20.06.2016-24.06.2016, (K-WRD 51/28)]
R&D Projects: GA ČR(CZ) GA13-21076S
Institutional support: RVO:67985955
Keywords : logic * philosophy of logic * philosophy of mathematics * formal semantics
Subject RIV: AA - Philosophy ; Religion
Permanent Link: http://hdl.handle.net/11104/0264999 - 2.0445170 - FLÚ 2016 RIV eng U - Conference, Workshop Arrangement
Punčochář, Vít - Svoboda, Vladimír
Logica 2015.
[Hejnice, 15.06.2015-19.06.2015, (K-WRD 51/29)]
R&D Projects: GA ČR(CZ) GA13-21076S
Institutional support: RVO:67985955
Keywords : logic * philosophy of mathematics * philosophy of science * formal linguistics
Subject RIV: AA - Philosophy ; Religion
Permanent Link: http://hdl.handle.net/11104/0247575 - 3.0436565 - FLÚ 2015 RIV eng U - Conference, Workshop Arrangement
Svoboda, Vladimír - Punčochář, Vít
International Symposium LOGICA 2014.
[Hejnice, 16.06.2014-20.06.2014, (K-WRD 57/36)]
R&D Projects: GA ČR(CZ) GA13-21076S
Institutional support: RVO:67985955
Keywords : logic * philosophy of mathematic * formal linguistics
Subject RIV: AA - Philosophy ; Religion
Permanent Link: http://hdl.handle.net/11104/0240267 - 4.0396388 - FLÚ 2014 RIV eng U - Conference, Workshop Arrangement
Svoboda, Vladimír - Punčochář, Vít
International Symposium LOGICA 2013.
[Hejnice, 17.06.2013-21.06.2013, (K-WRD 59/37)]
R&D Projects: GA ČR(CZ) GA13-21076S
Institutional support: RVO:67985955
Keywords : logic * philosophy
Subject RIV: AA - Philosophy ; Religion
Permanent Link: http://hdl.handle.net/11104/0224227