Z. Sitchin · Zbigniew Stachniak
| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|
| Resolution Proof Systems: An Algebraic Theory | 978-0-7923-4017-1 (0-7923-4017-5) | 1996 | |
| S. Leśniewski's Lecture Notes in Logic | 978-90-247-3416-0 (90-247-3416-9) | 1988 | Jan J.T. Srzednicki |