A Computer system for axiomatic investigation

DOI10.1016/S0020-7373(81)80002-8MaRDI QIDQ3910031zbMATH OpenFDO

Authors R. Ibrahim

Publication date 1981

Published in International Journal of Man-Machine Studies (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/S0020-7373(81)80002-8

zbMATH Keywords

informal axiomatic investigation of mathematics

Mathematics Subject Classification ID

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)