Назад Матерія Last updated Oct 27, 2022 Save as PDF 13.8: Резюме Індекс Page ID52647 Richard Zach et al.Open Logic Project ІндексГлосарійДодаток A: ДоказиA.1: ВступA.2: Починаючи доказA.3: Використання визначеньA.4: Шаблони висновківA.5: ПрикладA.6: Інший прикладA.7: Доказ протиріччямA.8: Читання доказівА.9: Я не можу цього зробити!A.10: Інші ресурсиДодаток B: ІндукціяB.1: ВступB.2: Індукція наB.3: Сильна індукціяB.4: Індуктивні визначенняB.5: Структурна індукціяB.6: Відносини та функціїДодаток C: БіографіїC.1: Георг КанторC.2: Церква АлонзоC.3: Герхард ГентценC.4: Курт ГедельC.5: Еммі НетерC.6: Бертран РасселC.7: Альфред ТарськийC.8: Алан ТьюрингC.9: Ернст ЦермелоБібліографіяПро проект «Відкрита логіка»Open Logic Text є відкритим вихідним кодом, спільний підручник формальних металогічних і формальних методів, починаючи з проміжного рівня (тобто після вступного формального курсу логіки).