|
by Barendregt, H. P., Dekkers, Wil, Statman, Richard, Alessi, Fabio
Published 2013
Published 2013
Cambridge University Press
|
by Keller, Matthias, Lenz, Daniel, Wojciechowski, Radosław K.
Published 2021
Published 2021
Springer International Publishing
|
by Di Nasso, Mauro, Goldbring, Isaac, Lupini, Martino
Published 2019
Published 2019
Springer International Publishing
|
by Shapiro, Louis, Sprugnoli, Renzo, Barry, Paul, Cheon, Gi-Sang
Published 2022
Published 2022
Springer International Publishing