tytuł oryginału: Mathematical logic for computer science, data wydania: 2006 (data przybliżona), I...
