M 25 |
Manna, Z. The Logical Basis for Computer Programming [Текст]. Volume II : Deductive Systems / Z. Manna, R. Waldinger. – Reading : Addison-Wesley Publishing Company, 1985. – 642s.
Логическая база для компьютерного программирования. Т.2: Дедуктивные системы /З.Манна, Р.Валдингер. |