Number of the records: 1
Interpretability in PRA
- 1.
SYSNO 0332835 Title Interpretability in PRA Title Interpretovatelnost v PRA Author(s) Bílková, Marta (UIVT-O) SAI, RID, ORCID
De Jongh, D. (NL)
Joosten, J.J. (NL)Source Title Annals of Pure and Applied Logic. Roč. 161, č. 2 (2009), s. 128-138. - : Elsevier Document Type Článek v odborném periodiku Grant GA401/06/0387, CZ - Czech Republic IAA900090703 GA AV ČR - Academy of Sciences of the Czech Republic (AV ČR) CEZ AV0Z10300504 - UIVT-O (2005-2011) Language eng Country NL Keywords interpretability * arithmetic * primitive recursive arithmetic * interpretability logic Permanent Link http://hdl.handle.net/11104/0177966
Number of the records: 1