 |  | | Książka jest już na całe szczęście niedostępna. Jest już szczęśliwa, albowiem znalazła nowego świeżego właściciela. Pawlak, Zdzisław (1926-2006): Automatyczne dowodzenie twierdzeń.
Wydanie pierwsze. First Edition. Warszawa: PZWS Państwowe Zakłady Wydawnictw Szkolnych 1965.
22 cm, oprawa twarda płótno oryginalna, 147,[1] s. HB, Very Good. Stan książki wewnątrz lepiej niż bardzo dobry, płótno okładki jest trochę przybrudzone. Masa egz.: 250 g. Biblioteczka Matematyczna PZWS i Czasopisma Matematyka; 19. opis w Bibliotece Narodowej. Library of Congress: 66043129. WorldCat: 69272407; 471798359; 833817181.
|