Search results
- 1.0174594 - MU-W 980166 RIV DD eng M - Monography Chapter
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
R&D Projects: GA AV ČR IAA1019602
Grant - others:US-Czechoslovak Science and technology Program(XX) č. 93025
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0071600File Download Size Commentary Version Access Krajicek1.pdf 1 1.1 MB Publisher’s postprint require - 2.0174282 - MU-W 960078 RIV DE eng M - Monography Chapter
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
R&D Projects: GA AV ČR IAA1019602
Permanent Link: http://hdl.handle.net/11104/0071293 - 3.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