Nový Dominik Dán v predpredaji, pozri knihu tu =>
Introduction to proof theory and its applications in mathematical logic, theoretical computer science and artificial intelligence. Zobraziť viac