Matuszewska, Halina.

    Elementy logiki i teorii mnogości dla informatyków / Halina Matuszewska, Wojciech Matuszewski.
    Warszawa : Bel Studio, 2003. - 142 s. ; 21 cm.
    ISBN 83-88442-56-2

Tautologie
Teoria mnogości
Rachunek zdań
Reguły wnioskowania
Zbiory
Funkcje zdaniowe
Kwantyfikatory
Relacje równoważności
Relacje porządkujące
Funkcje
Typy porządkowe
Teorie formalne

   
G.48316   
G.48317   
G.48318