Pawlak Zdzisław Automatyczne dowodzenie twierdzeń./Biblioteczka Matematyczna 19/

Warszawa 1965. PZWS. s.147, tabl., opr.wyd.pł.l

Pozycja niedostępna

Możesz dodać tę pozycję do listy życzeń klikając przycisk poniżej. Kiedy pozycja stanie się dostępna wyślemy Ci powiadomienie e-mailem.

Powiadom mnie