|
by Ebbinghaus, Heinz-Dieter, Flum, Jörg, Thomas, Wolfgang
Published 2021
Table of Contents:
“... -- IX Extensions of First-Order Logic -- X Computability and Its Limitations -- XI Free Models and Logic...”Published 2021
Springer International Publishing