scientific article; zbMATH DE number 733402
From MaRDI portal
Publication:4325790
zbMATH Open0811.03044MaRDI QIDQ4325790
Publication date: 13 March 1995
Title of this publication is not available (Why is that?)
inconsistencyfoundations of mathematicscontradictionRobinson's system \(Q\)number-theoretic computations
Related Items (5)
Formal plethories ⋮ Advantages and limitations of formal expression ⋮ Title not available (Why is that?) ⋮ The happy formalist ⋮ Adequate formalization
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4325790)
