Pages that link to "Item:Q3727947"
From MaRDI portal
The following pages link to Second-order languages and mathematical practice (Q3727947):
Displaying 11 items.
- A defense of second-order logic (Q660454) (← links)
- Toward a modal-structural interpretation of set theory (Q1202500) (← links)
- A model for science kinematics (Q1319361) (← links)
- IMPS: An interactive mathematical proof system (Q1319391) (← links)
- Axiomatizations of arithmetic and the first-order/second-order divide (Q2053347) (← links)
- The challenge of many logics: a new approach to evaluating the role of ideology in Quinean commitment (Q2053348) (← links)
- Putnam and constructibility (Q2574846) (← links)
- A critical appraisal of second-order logic (Q3141185) (← links)
- The Significance of a Categoricity Theorem for Formal Theories and Informal Beliefs (Q3295830) (← links)
- Putnam’s Constructivization Argument (Q5214684) (← links)
- WHAT CAN A CATEGORICITY THEOREM TELL US? (Q5402238) (← links)
