Výsledky vyhledávání
- 1.0174594 - MU-W 980166 RIV DD eng M - Část monografie knihy
Krajíček, Jan
Extensions of models of PV.
Logic Colloquium 95. Berlin: ASL/Springer, 1998 - (Ravve, E.), s. 104-114. Lecture Notes in Logic, 11
Grant CEP: GA AV ČR IAA1019602
Grant ostatní: US-Czechoslovak Science and technology Program(XX) č. 93025
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0071600Název souboru Staženo Velikost Komentář Verze Přístup Krajicek1.pdf 1 1.1 MB Vydavatelský postprint vyžádat - 2.0174282 - MU-W 960078 RIV DE eng M - Část monografie knihy
Krajíček, Jan
A fundamental problem of mathematical logic.
Berlin: Springer, 1996. Annals of the Kurt Gödel Society, 2. ISBN 3-211-82796-X. ISSN 0947-577X. In: Collegium Logicum., s. 56-64
Grant CEP: GA AV ČR IAA1019602
Trvalý link: http://hdl.handle.net/11104/0071293 - 3.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