"Barwise J., Etchemendy J. Language, proof and logic (1999)(ISBN 1889119083)(597s)_MAml_.pdf" - читать интересную книгу автора