- Tytuł:
- Automatyczne dowodzenie twierdzeń
- Tytuł pełny:
- Automatyczne dowodzenie twierdzeń / Zdzisław Pawlak
- Autorzy:
- Pawlak, Zdzisław
- Wydawca:
- Warszawa : Państwowe Zakłady Wydawnictw Szkolnych
- Rok wydania:
- cop. 1965
- Seria:
- Biblioteczka Matematyczna, 0067-7566 ; 19
- Temat:
- Logika matematyczna
- Gatunek / Forma:
- Książki
Książki