Hallo Brucybabe,
es handelt sich ja um Aussagenlogik. Mengenlehre und Aussagenlogik sind die Stichwörter, nach denen du suchst. Diese sind meiner Erfahrung nach selten in einzelnen Büchern zusammengetragen, sondern Teil von Büchern als Kapitel 1 oder 2 (oder lass es auch 3 sein).
Wenn in deiner Nähe eine Universitätsbibliothek ist, so kannst du dort zuerst nach einem Erstsemester-Buch Mathematik suchen, bis du ein solches Kapitel ausmachen konntest.
Im Anschluss schaust du bei den Literaturangaben, mit denen jedes Lehrbuch zur Genüge ausgestattet ist. Und vielleicht findest du in diesen Literaturangaben genau das, wonach du suchst.
MfG
Mister
PS: Der beschriebene Weg ist der altmodische Weg zu googeln. Du durchgoogelst die Bibliothek und bist dein eigener Suchalgorithmus :)