Author: R. L. Constable
Author's info and books
Information about author R. L. Constable from several data sources.
AI-generated bio of "R. L. Constable":
Authors Results
Source: The Open Library
Authors called "R. L. Constable"
Search results for authors called R. L. Constable from The Open Library
Books Results
Source: The Open Library
R. L. Constable Books
Books writen by author R. L. Constable from The Open Library
1Implementing mathematics with the Nuprl proof development system
By R. L. Constable
“Implementing mathematics with the Nuprl proof development system” Metadata:
- Title: ➤ Implementing mathematics with the Nuprl proof development system
- Author: R. L. Constable
- Language: English
Access and General Info:
- First Year Published: 1986
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Borrowable
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
- Borrowing from Open Library: Borrowing link
- Borrowing from Archive.org: Borrowing link
Online Marketplaces
Find Implementing mathematics with the Nuprl proof development system at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
2An introduction to the PL/CV2 programming logic
By R. L. Constable
“An introduction to the PL/CV2 programming logic” Metadata:
- Title: ➤ An introduction to the PL/CV2 programming logic
- Author: R. L. Constable
- Language: English
Access and General Info:
- First Year Published: 1982
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Printdisabled
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find An introduction to the PL/CV2 programming logic at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
3A programming logic
By R. L. Constable
“A programming logic” Metadata:
- Title: A programming logic
- Author: R. L. Constable
- Language: English
Access and General Info:
- First Year Published: 1978
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find A programming logic at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
4Logic and Program Semantics
By R. L. Constable
“Logic and Program Semantics” Metadata:
- Title: Logic and Program Semantics
- Author: R. L. Constable
- Language: English
Access and General Info:
- First Year Published: 2012
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Logic and Program Semantics at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
5An Introduction to the PL/CV2 Programming Logic (Lecture Notes in Computer Science)
By R. L. Constable, S. D. Johnson and C. D. Eichenlaub
“An Introduction to the PL/CV2 Programming Logic (Lecture Notes in Computer Science)” Metadata:
- Title: ➤ An Introduction to the PL/CV2 Programming Logic (Lecture Notes in Computer Science)
- Authors: R. L. ConstableS. D. JohnsonC. D. Eichenlaub
Access and General Info:
- First Year Published: 1982
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find An Introduction to the PL/CV2 Programming Logic (Lecture Notes in Computer Science) at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.