Properties of Programs and the First-Order Predicate Calculus by Zohar Manna, Carnegie-Mellon University. Pitsburgh.
- Made:
- 1969-04
- part of archive:
- National Physical Laboratory Archive
- maker:
- National Physical Laboratory
Details
- Identifier:
- NPL/H7/1/3
- Access:
- Open Access
- rights:
- Copies may be supplied in accordance with current copyright legislation and Science Museum Group terms and conditions