Pages that link to "Item:Q4227856"
From MaRDI portal
The following pages link to Truth Definitions, Skolem Functions and Axiomatic Set Theory (Q4227856):
Displaying 6 items.
- Independence-friendly logic and axiomatic set theory (Q598297) (← links)
- Skolem fragments (Q1077397) (← links)
- Quantum logic as a fragment of independence-friendly logic (Q1610617) (← links)
- Hintikka and the functions of logic (Q2334655) (← links)
- On Tarski's assumptions (Q2386111) (← links)
- Axiomatization of a Skolem function in intuitionistic logic (Q2702564) (← links)