Որոնման արդյունքները

Logic in computer science:modelling and reasoning about systems ‌ Huth, Michael