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