"Proof Theory For Fuzzy Logics" - читать интересную книгу автора (Andrew Senior)