Pages that link to "Item:Q4304145"
From MaRDI portal
The following pages link to Fregean Extensions of First‐Order Theories (Q4304145):
Displaying 10 items.
- On the consistency of the first-order portion of Frege's logical system (Q1098830) (← links)
- Tarski on ``essentially richer'' metalanguages (Q1283316) (← links)
- Frege, Boolos, and logical objects (Q1876080) (← links)
- Adding metatheoretic facilities to first-order theories (Q2785674) (← links)
- Notes on models of first-order mereological theories (Q2987750) (← links)
- Frege's unofficial arithmetic (Q4451737) (← links)
- On translations of complete first order theories (Q4798207) (← links)
- (Q4858033) (← links)
- Fregean Description Theory in Proof-Theoretical Setting (Q5215499) (← links)
- What is Neologicism? (Q5479569) (← links)