Classes
- Descriptive Set TheoryALGV00119 | Faculty of Arts
- Introduction to Computer Science +1ALG110006 | Faculty of Arts
- Introduction to Computer Science IIALG110029 | Faculty of Arts
- Model TheoryALG500009 | Faculty of Arts
- Programming in PythonALGV00025 | Faculty of Arts
- Introduction to general topologyALGV00048 | Faculty of Arts
- Advanced topics in computer programmingALGV00106 | Faculty of Arts
- Introduction to programming for non-logiciansALGV00107 | Faculty of Arts
Publications
- Set-Theoretic Blockchains2019 | Faculty of Mathematics and Physics, Faculty of Arts
- Toposym Book of Abstracts2016 | Faculty of Arts
- Winter School in Abstract Analysis, Section Set TheoryPublication without faculty affiliation
- 40th Winter School in Abstract Analysis, Section Set Theory & TopologyPublication without faculty affiliation
- 41st Winter School in Abstract AnalysisPublication without faculty affiliation
- Joint Prague-Vienna LogicPublication without faculty affiliation
- 42nd Winter School in Abstract Analysis 2014Publication without faculty affiliation
- 43rd Winter School in Abstract Analysis, section Set Theory & TopologyPublication without faculty affiliation
- 44th Winter School in Abstract Analysis, section Set TheoryPublication without faculty affiliation
- Logic ColloquiumPublication without faculty affiliation
Loading network view...