A Computer system for axiomatic investigation
From MaRDI portal
Publication:3910031
DOI10.1016/S0020-7373(81)80002-8zbMATH Open0459.68052MaRDI QIDQ3910031
Author name not available (Why is that?)
Publication date: 1981
Published in: (Search for Journal in Brave)
No records found.
No records found.
This page was built for publication: A Computer system for axiomatic investigation
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3910031)
