ID:DA01880839
Search authors sharing the same name
Richard Bornat
Oxford University Press 2005 Oxford texts in logic 2
: hbk , : pbk
Available at 16 libraries
Prentice-Hall International c1987 Prentice-Hall International series in computer science
Available at 7 libraries
Macmillan c1979 Macmillan computer science series
: pbk