| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|
| Mathematical Logic in Computer Science | 978-963-8O21-46-5 (963-8O21-46-2) | 1981 | B. · Gergely, T. |
B. M. · B. T. · J.M. · J. T. · M. T.
Bolyai JGanos Matematikai TGarsulat. Colloquium on Infinite and Finite Sets