- Tytuł:
- Systemy Herbranda dowodzenia twierdzeń rachunków predykatów
- Autorzy:
- Orłowska, Ewa (1935- )
- Wydawca:
- Warszawa : Państwowe Wydawnictwo Naukowe
- Rok wydania:
- 1976
Książka
Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.