Karel Hrbacek
发表
Karel Hrbacek,
2012,
J. Log. Anal..
Karel Hrbacek,
1985,
ICALP.
Karel Hrbacek,
Olivier Lessmann,
Richard O'Donovan,
2014
.
Karel Hrbacek,
Petr Andreev,
2004,
J. Symb. Log..
Karel Hrbacek,
K. Hrbacek,
1978,
Math. Log. Q..
Karel Hrbacek,
2012,
J. Log. Anal..
Karel Hrbacek,
1987,
Inf. Comput..
Karel Hrbacek,
1983,
Math. Log. Q..
Karel Hrbacek,
2010,
J. Log. Anal..
Karel Hrbacek,
1989,
Inf. Comput..
Karel Hrbacek,
2001,
Ann. Pure Appl. Log..
Karel Hrbacek,
Olivier Lessmann,
Richard O'Donovan,
2014
.
Karel Hrbacek,
Olivier Lessmann,
Richard O'Donovan,
2010,
Am. Math. Mon..
Karel Hrbacek,
Mauro Di Nasso,
2003,
Ann. Pure Appl. Log..
Karel Hrbacek,
David Ballard,
1992,
J. Symb. Log..
Karel Hrbacek,
1987,
MFPS.
Karel Hrbacek,
K. Hrbacek,
2009,
J. Log. Anal..
Karel Hrbacek,
2020,
J. Log. Anal..
Karel Hrbacek,
Olivier Lessmann,
Richard O'Donovan,
2014
.
Karel Hrbacek,
Richard Gostanian,
K. Hrbacek,
1979,
Math. Log. Q..
Karel Hrbacek,
Mikhail G. Katz,
K. Hrbacek,
2020,
Ann. Pure Appl. Log..
Karel Hrbacek,
Ethan Akin,
2021
.
Karel Hrbacek,
Richard Gostanian,
K. Hrbacek,
1976
.
Stephen G. Simpson,
Karel Hrbacek,
S. G. Simpson,
1980
.
Karel Hrbacek,
K. Hrbacek,
1978
.
Stephen G. Simpson,
Karel Hrbacek,
R. Daniel Mauldin,
1984
.
Karel Hrbacek,
Thomas Jech,
T. Jech,
1978
.
Karel Hrbacek,
Thomas Jech,
T. Jech,
2017
.
Karel Hrbacek,
1979
.
Karel Hrbacek,
Peter Fletcher,
Sam Sanders,
2017,
1703.00425.