3 treff

Implementing mathematics : with the Nuprl proof development system
R L. Constable ... [et al.]
Bok Språk ikke angitt 1986
An introduction to the PL/CV2 programming logic
R. L. Constable, S. D. Johnson, C. D. Eic...
Bok Engelsk 1982
A programming logic : with an introduction to the PL/CV verifier
Constable, R. L.
Bok Engelsk 1978