Rutger Kuyper
发表
Sebastiaan Terwijn,
Rutger Kuyper,
S. Terwijn,
2013,
J. Log. Anal..
Rutger Kuyper,
2013,
LFCS.
Rutger Kuyper,
Joseph S. Miller,
Joseph S. Miller,
2017,
Ann. Pure Appl. Log..
Rutger Kuyper,
2017,
J. Symb. Log..
Laurent Bienvenu,
Rutger Kuyper,
2017,
Computability and Complexity.
Rutger Kuyper,
2014,
Math. Log. Q..
Rutger Kuyper,
R. Kuyper,
2012,
Ann. Pure Appl. Log..
Hendrik Pieter Barendregt,
Bram Westerbaan,
Rutger Kuyper,
2017,
Log. Methods Comput. Sci..
Rutger Kuyper,
R. Kuyper,
2013,
Arch. Math. Log..
Mariya Ivanova Soskova,
Steffen Lempp,
Mars M. Yamaleev,
2017,
Computability and Complexity.
Rutger Kuyper,
R. Kuyper,
2014,
Stud Logica.
Paul E. Schupp,
Denis R. Hirschfeldt,
Carl G. Jockusch,
2015,
The Journal of Symbolic Logic.
Rutger Kuyper,
2019,
Notre Dame J. Formal Log..
Rutger Kuyper,
Noam Greenberg,
Daniel Turetsky,
2019,
Comput..
Sebastiaan Terwijn,
Rutger Kuyper,
S. Terwijn,
2013,
The Review of Symbolic Logic.
Rupert Hölzl,
Vasco Brattka,
Rutger Kuyper,
2017,
STACS.
Mariya Ivanova Soskova,
Steffen Lempp,
Rutger Kuyper,
2019,
Transactions of the American Mathematical Society.