- Tytuł pełny:
- O rozstrzygalności rachunku zdań logiki algorytmicznej / Bogdan S. Chlebus
- Wydawca:
- Warszawa : Wydawnictwa Uniwersytetu Warszawskiego
- Rok wydania:
- 1979
- Seria:
- Sprawozdania Instytutu Informatyki Uniwersytetu Warszawskiego, 0239-4359 ; 83
- Temat:
- Rachunek zdań - rozprawy akademickie.
Książka