Mathematical logic - Ebbinghaus H D; Flum J; Thomas W (New-York Springer-Verlag, 1994)
Keywords: Mathematical logic