4 treff

Constable R. L.
An introduction to the PL/CV2 programming logic
R. L. Constable, S. D. Johnson, C. D. Eic...
Bok Engelsk 1982 · Vis mer
A programming logic : with an introduction to the PL/CV verifier
Constable, R. L.
Bok Engelsk 1978 · Vis mer
Implementing mathematics : with the Nuprl proof development system
R L. Constable ... [et al.]
Bok Språk ikke angitt 1986 · Vis mer
Why, o God? : suffering and disability in the Bible and the Church
edited by Larry J. Waters and Roy B. Zuck...
Tale på CD Engelsk 2014 · Vis mer

Tilhører NLB
Vis hos NLB