Modern mathematical logic - Mileti, Joseph, 1978- (Cambridge University Press, 2023)