Introduction to proof theory and its applications in mathematical logic, theoretical computer science and artificial intelligence. Zobraziť viac
