Pages that link to "Item:Q5452175"

The following pages link to A Framework for Formalizing Set Theories Based on the Use of Static Set Terms (Q5452175):

Displaying 5 items.

• The middle ground-ancestral logic (Q2053352) (← links)
• Analysis in a formal predicative set theory (Q2148788) (← links)
• A Logical Framework for Developing and Mechanizing Set Theories (Q2817908) (← links)
• (Q5079729) (← links)
• Formalizing Scientifically Applicable Mathematics in a Definitional Framework (Q5195269) (← links)