Handbook of practical logic and automated reasoning - Harrison, John 1966- (Cambridge University Press, 2009)
Hier auch später erschienene, unveränderte Nachdrucke
Keywords: Computer logic; Informatik; Mathematische Logik