Implementing Mathematics with the Nuprl Proof Development System (0)

by S A Cook, A Urquhart
Venue:of Graduate Texts in Mathematics, Prentice-Hall