R. L. Constable
R. L. Constable
5 featured booksR. L. Constable
Bookitis has not yet captured a biography for this author, but the catalog links below show the books currently associated with this profile.
OL1317600A
Overview
Catalog identity and bibliographic footprint for this author.
5 representative editions
Catalog identity
How this author appears inside the active Bookitis catalog.
Display name
Personal name
Source identifier
Featured books
Representative editions for works actually authored by this person.
- Image source: Open LibraryLA
Logic and Program Semantics
cover - Image source: Open LibraryAI
An Introduction to the PL/CV2 Programming Logic (Lecture Notes in Computer Science)
cover - Image source: Open LibraryAI
An introduction to the PL/CV2 programming logic
cover - Image source: Open LibraryAP
A programming logic
cover - IMImplementing mathematics with t...R. L. Constable
Implementing mathematics with the Nuprl proof development system
no cover
Works in catalog
Quick navigation into the work-level grouping pages behind the featured books.