A Program for the Production of Proofs for Theorems Derivable within the First Order Predicate Calculus from Axioms by P.C. Gilmore. UNESCO/NS/ICIP/1.6.14.
- Made:
- 1958-1959
- part of archive:
- National Physical Laboratory Archive
- maker:
- National Physical Laboratory
Details
- Identifier:
- NPL/H2/5/4
- Access:
- Open Access
- rights:
- Copies may be supplied in accordance with current copyright legislation and Science Museum Group terms and conditions