0174168 - MU-W 950109 RIV CH eng M - Monography Chapter
Krajíček, Jan
On Frege and Extended Frege Proof Systems.
Basel: Birkhauser, 1995. In: Feasible Mathematics 2., s. 284-319
R&D Projects: GA AV ČR IAA119107
Permanent Link: http://hdl.handle.net/11104/0071183