scientific article; zbMATH DE number 3325540

MaRDI QIDQ5604435zbMATH OpenFDO

Authors G. E. Mints

Publication date 1968

Full work available at URL https://eudml.org/doc/188122

Mathematics Subject Classification ID

Abstract deductive systems (03B22)

Recommendations

• The independence of the parallel postulate and development of rigorous consistency proofs
• Independence of the primitive symbols of Lewis's calculi of propositions
• scientific article; zbMATH DE number 3928984
• The indispensability argument and the nature of mathematical objects
• Independence of the induction principle and the axiom of choice in the pure calculus of constructions

Cited in

(2)

• Independence of the primitive symbols of Lewis's calculi of propositions
• The independence postulate, hypothetical and called-off acts: A further reply to Rabinowicz

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