scientific article; zbMATH DE number 3835338

zbMATH Open0526.68028MaRDI QIDQ3040508FDOQ3040508

Authors: K. Prażmowski, Piotr Rudnicki 

Publication date: 1983

Title of this publication is not available (Why is that?)

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

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)