Nikt jeszcze nie ocenił.
- Tytuł
- Handbuch der Informatik - 6.2: Deduktion
- Podtytuł
- Automatisierung der Logik
- Język
- niemiecki
- Autorzy
- Wolfgang Bibel
- Wydawca
- Oldenbourg
- Rok wydania
- 1992
- Oprawa
- twarda
- Liczba stron
- 269
- ISBN10
- 3486207857
- ISBN13
- 9783486207859
- Seria
