Logic, Algebra, and Computation

Летние школы по информатике в Марктобердорфе были организованы в 1970 году как институты повышения квалификации при поддержке НАТО. В этих школах группы ведущих исследователей в области вычислительной техники представляют свои последние результаты элите продвинутых студентов и выслушивают их вопросы, критику и предложения. В этом томе представлены материалы десятой летней школы в Марктобердорфе, посвященной логике, алгебре и вычислениям. В книге есть идея: прикладная логика - это...