Košík

    1.
    0174168 - MU-W 950109 RIV CH eng M - Část monografie knihy
    Krajíček, Jan
    On Frege and Extended Frege Proof Systems.
    Basel: Birkhauser, 1995. In: Feasible Mathematics 2., s. 284-319
    Grant CEP: GA AV ČR IAA119107
    Trvalý link: http://hdl.handle.net/11104/0071183
     
     

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

Přijmout všeNastaveníOdmítnout vše