Математическая логика и автоматическое доказательство теорем

Ч. Чень, Р. Ли

1. 1. Щанд*
   2. Град**
   3. Година
   4. Състояние
   5. Цена
   6. Поръчай
2. 1. Съкровищница
   2. София
   3. 1983 г.
   4. Много добро
   5. 19,00 лв.
   6. Към книгата
      
3. 1. Феникс
   2. София
   3. 1983 г.
   4. Много добро
   5. 20,00 лв.
   6. Към книгата
      
4. 1. 4i4o Ru
   2. Добрич
   3. 1983 г.
   4. Много добро
   5. 20,00 лв.
   6. Към книгата
      
5. 1. Ескалибур
   2. София
   3. 1983 г.
   4. Добро
   5. 35,00 лв.
   6. Към книгата
      

1. *
   "Щанд" наричаме търговец, който предлага книгата за продажба в сайта "Книжен пазар".
2. **
   "Град" наричаме селище, от което търговецът ще изпрати книгата до вас.