|
by Ebbinghaus, Heinz-Dieter, Flum, Jörg, Thomas, Wolfgang
Published 2021
Table of Contents:
“...A -- I Introduction -- II Syntax of First-Order Languages -- III Semantics of First-Order Languages...”Published 2021
Springer International Publishing