Handbook of practical logic and automated reasoning - Harrison, John 1966- (Cambridge Univ. Press, 2009)
Keywords: Mathematische Logik; Informatik