Теория логического вывода. Учебное пособие для вузов, 2-е изд., стер, ISBN 978-5-507-51643-8 — купить книгу на русском языке с доставкой по всему миру