Logic and the Challenge of Computer Science (1988)

by Yuri Gurevich
Citations:153 - 16 self