Cover Image
Read Now

1
Published 1991
Springer Berlin Heidelberg
“... to be an important tool in foundationalstudies in computer science. It has been widely applied by logicians to get...”