ℹ️
🇬🇧
Search
Search for people relevant for "Peano arithmetic"
Peano arithmetic
Person
Class
Person
Publication
Programmes
Export current view
Mgr. Michal Dančák
Academic staff at Faculty of Arts
1 class
2 publications
Class
class
Computer Basics
ALGV00102 |
Faculty of Arts
Publications
publication
The Intuitionistic Robinson Arithmetic(s)
2015 |
Faculty of Arts
publication
Normal Default Rules as Epistemic Actions
2016 |
Faculty of Arts
Loading network view...