Stefan Neuwirth
发表
T. Coquand,
H. Lombardi,
Stefan Neuwirth,
2017,
Rocky Mountain Journal of Mathematics.
Stefan Neuwirth,
Stefan Neuwirth,
2001
.
T. Coquand,
Stefan Neuwirth,
S. Neuwirth,
2017,
1711.06139.
T. Coquand,
Stefan Neuwirth,
S. Neuwirth,
2020,
History and Philosophy of Logic.
H. Lombardi,
Stefan Neuwirth,
2017,
1708.05171.
T. Coquand,
H. Lombardi,
Stefan Neuwirth,
2019,
Paul Lorenzen -- Mathematician and Logician.
Stefan Neuwirth,
S. Neuwirth,
1997,
math/9707211.
Stefan Neuwirth,
S. Neuwirth,
2018,
2007.08625.
Stefan Neuwirth,
2001
.