👤

T. Gergely

2 books

Books by T. Gergely

First-order programming theories
First-order programming theories
1991
Mathematical logic in computer
Mathematical logic in computer science
1981