Pages that link to "Item:Q3141185"
From MaRDI portal
The following pages link to A critical appraisal of second-order logic (Q3141185):
Displaying 10 items.
- A defense of second-order logic (Q660454) (← links)
- Principles of reflection and second-order logic (Q1097275) (← links)
- Second-order logic and the power set (Q1702982) (← links)
- Commentary: On motivating higher-order logic (Q2704314) (← links)
- Where do sets come from? (Q3981451) (← links)
- Do Not Claim Too Much: Second-order Logic and First-order Logic (Q4237643) (← links)
- Second-Order Logic and Foundations of Mathematics (Q4328795) (← links)
- Completeness and categoricity: Frege, gödel and model theory (Q4373014) (← links)
- Completeness and Categoricity, Part II: Twentieth-Century Metalogic to Twenty-first-Century Semantics (Q4706123) (← links)
- Second-Order Arithmetic Sans Sets (Q5245970) (← links)