Algebraic methods in logic and in computer science / / ed. Cecylia Rauszer.
    Warszawa : Instytut Matematyczny PAN, 1993. 342 s. : il. ; 24 cm.
    (Banach Center Publications, ISSN 0137-6934 ; vol. 28)
    (Banach Center Publications ISSN 0137-6934 28)
    ISBN 83-85116-92-3


Informatyka
Logika algebraiczna

   
N.18010        UKD: 510.6:512.5:519.68]=20