|
by Di Nasso, Mauro, Goldbring, Isaac, Lupini, Martino
Published 2019
Subjects:
“...Mathematical Logic and Foundations...”Published 2019
Springer International Publishing