R

R. L. Constable

5 books found

Books by R. L. Constable
Implementing mathematics with the Nuprl proof development systemR. L. Constable
⏱ 4h 59m

Implementing mathematics with the Nuprl proof development system

R. L. Constable

1986299 pp.
Logic and Program SemanticsR. L. Constable

Logic and Program Semantics

R. L. Constable

2012No page data
An introduction to the PL/CV2 programming logicR. L. Constable
⏱ 4h 52m

An introduction to the PL/CV2 programming logic

R. L. Constable

1982292 pp.
A programming logicR. L. Constable
⏱ 6h 29m

A programming logic

R. L. Constable

1978389 pp.
An Introduction to the PL/CV2 Programming Logic (Lecture Notes in Computer Science)R. L. Constable
⏱ 5h 14m

An Introduction to the PL/CV2 Programming Logic (Lecture Notes in Computer Science)

R. L. Constable

1982314 pp.