Search results
- 1.0084549 - ÚI 2008 PL eng A - Abstract
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]
Institutional research plan: CEZ:AV0Z10300504
Keywords : arithmetic * primitive recursive arithmetic * interpretability * interpretability logic * modal logic
Permanent Link: http://hdl.handle.net/11104/0147283