Materiały kursowe dla 5DV102 na Umeå universitet, udostępnione przez kolegów z kursu.
Mathematical Logic for Computer Science
Mordechai Ben-Ari
366 kr