scientific article; zbMATH DE number 3325540

zbMATH Open0205.00403MaRDI QIDQ5604435FDOQ5604435

Authors: G. E. Mints 

Publication date: 1968

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

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

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

Mathematics Subject Classification ID

Abstract deductive systems (03B22)

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)