|
by Ebbinghaus, Heinz-Dieter, Flum, Jörg, Thomas, Wolfgang
Published 2021
“... edition features many modernizations, as well as two additional important results: The decidability...”Published 2021
Springer International Publishing