Výsledky vyhledávání
- 1.0084549 - ÚI 2008 PL eng A - Abstrakt
Bílková, Marta - De Jongh, D. - Joosten, J.J.
Interpretability in PRA.
Logic Colloquium 2007. Book of Abstracts. Wroclaw: Universitet Wroclawski, 2007. s. 37-37.
[Logic Colloquium 2007. 14.07.2007-19.07.2007, Wroclaw]
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: arithmetic * primitive recursive arithmetic * interpretability * interpretability logic * modal logic
Trvalý link: http://hdl.handle.net/11104/0147283