scientific article; zbMATH DE number 3835338

MaRDI QIDQ3040508zbMATH OpenFDO

Authors K. Prażmowski, Piotr Rudnicki

Publication date 1983

zbMATH Keywords

recording mathematical texts of multisorted first order predicate calculus

Mathematics Subject Classification ID

Classical first-order logic (03B10) Theory of software (68N99)

Cited in

(1)

• Foundations of a theorem prover for functional and mathematical uses

Describes a project that uses

Uses Software

• Mizar

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 Q3040508)