Search alternatives:
"logicians" » "logiciels"

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...