Mathematical logic - Ebbinghaus Heinz-Dieter; Flum Jorg; Thomas Wolfgang (Cham Springer, 2021)
Keywords: Gift