- Tytuł pełny:
- Algebraic methods in logic and in computer science / ed. Cecylia Rauszer
- Wydawca:
- Warszawa : Instytut Matematyczny PAN
- Rok wydania:
- 1993
- Seria:
- Banach Center Publications, 0137-6934 ; vol. 28
- Temat:
- Logika algebraiczna.
Informatyka.
Informatyka - konferencje.
Logika algebraiczna - konferencje.
Książka