Opis produktu
Introduction to proof theory and its applications in mathematical logic, theoretical computer science and artificial intelligence.
Introduction to proof theory and its applications in mathematical logic, theoretical computer science and artificial intelligence.