- Tytuł pełny:
- Mathematical logic in computer science / ed. by B. Dömölki and T. Gergely
- Wydawca:
- Amsterdam [etc.] : North-Holland Publishing Company
- Rok wydania:
- cop. 1981
- Seria:
- Colloquia Mathematica Societatis János Bolyai, 0139-3383 ; 26
- Temat:
- Logika symboliczna i matematyczna.
Informatyka - matematyka.
Komputery - programowanie.
Komputery - programowanie - konferencje.
Języki programowania - semantyka - konferencje.
Książka