Series:

Lecture Notes in Computer Science

1 primary work

Book 832

Cover of Computer Science Logic

Computer Science Logic

by E Borger, Yuri Gurevich, and K Meinke

Published 1 August 1994