| title | ISBN-13 (ISBN-10) | year of publication |
|---|---|---|
| Logika matematyczna w informatyce | 978-83-204-3221-3 (83-204-3221-9) | 2006 |
| Logika matematyczna w informatyce | 978-83-204-2972-5 (83-204-2972-2) | 2004 |
| Podstawy programowania wspolbieznego i rozproszonego | 978-83-204-3441-5 (83-204-3441-6) | 2015 |