Intellectics And Computational Logic by Holldobler Steffen