Methods of Logic in Computer Science, Volume 1

Volume 1, Number 1, 1994

Logic Programming and Non-Monotonic Reasoning

Volume 1, Number 2, 1994

Volume 1, Number 3, 1994

Volume 1, Number 4, 1994