Handbook for Logic (1994)

by Samson Abramsky, Joachim Jung
Venue:in Computer Science