Ascertaining mathematical theorems (0)

by R McCasland, A Bundy, P Smith
Venue:Electronic Notes in Theoretical Computer Science