Košík

  1. 1.
    0039356 - MÚ 2007 RIV US eng C - Konferenční příspěvek (zahraniční konf.)
    Pudlák, Pavel
    Consistency and games - in search of new combinatorial principles.
    [Bezespornost a hry - hledání nových kombinatorických principů.]
    Logic Colloquium ´03. Proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic. Wellesley: Association for Symbolic Logic, 2006 - (Stoltenberg-Hansen, V.; Väänänen, J.), s. 244-281. Lecture Notes in Logic, 24. ISBN 1-56881-293-0.
    [Logic Colloquium 2003. Helsinki (FI), 14.08.2003-20.08.2003]
    Grant CEP: GA AV ČR(CZ) IAA1019401; GA ČR(CZ) GA201/01/1195; GA ČR GD401/03/H047
    Výzkumný záměr: CEZ:AV0Z1019905
    Klíčová slova: independent sentences * peano arithmetic * bounded arithmetic
    Kód oboru RIV: BA - Obecná matematika
    Trvalý link: http://hdl.handle.net/11104/0133466
    Název souboruStaženoVelikostKomentářVerzePřístup
    Pudlak.pdf14.6 MBAutorský postprintpovolen
     
     

  Tyto stránky využívají soubory cookies, které usnadňují jejich prohlížení. Další informace o tom jak používáme cookies.