Kreisel's conjecture with minimality principle

Hrubeš Pavel



Název
Kreisel's conjecture with minimality principle
Překlad názvu
Kreiselova domněnkas principem minimality
Autor
lupa Hrubeš Pavel MU-W - Matematický ústav AV ČR, v. v. i.
Zdroj.dok.
lupa Journal of Symbolic Logic. Roč. 74, č. 3 (2009), s. 976-988
Vyd.údaje
13 s.
Druh dok.
J
Jazyk dok.
eng
Země vyd.
US
Klíč.slova
Peano arithmetic * length of proof * Kreisel's conjecture
Databáze
zj - Článek v odborném časopise
Trvalý link
http://hdl.handle.net/11104/0181139