Wim Ruitenburg

发表

Jonathan Fleischmann, Dan McGinn, Ben Ellison, 2008, Notre Dame J. Formal Log..

Wim Ruitenburg, Wim Ruitenburg, 1991, Notre Dame J. Formal Log..

Mohammad Ardeshir, Wim Ruitenburg, Mohammad Ardeshir, 1998, Math. Log. Q..

Paul Bankston, Wim Ruitenburg, 1990, J. Symb. Log..

Wim Ruitenburg, 2001 .

Jonathan Fleischmann, Dan McGinn, Ben Ellison, 2007, Math. Log. Q..

Mohammad Ardeshir, Wim Ruitenburg, 2018, Stud Logica.

Wim Ruitenburg, 1998, Notre Dame J. Formal Log..

Saeed Salehi, Mohammad Ardeshir, Wim Ruitenburg, 2003, Ann. Pure Appl. Log..

Wim Ruitenburg, 1984, J. Symb. Log..

Majid Alizadeh, Mohammad Ardeshir, Wim Ruitenburg, 2013, TACL.

Wim Ruitenburg, 2000 .

Majid Alizadeh, Mohammad Ardeshir, Wim Ruitenburg, 2016, Notre Dame J. Formal Log..

Mohammad Ardeshir, Wim Ruitenburg, Alan Turing, 2001 .

Wim Ruitenburg, Wim Ruitenburg, 1999, Stud Logica.

Fred Richman, Ray Mines, Wim Ruitenburg, 1988 .

Wim Ruitenburg, Wim Ruitenburg, 1991 .

Wim Ruitenburg, 1996 .