The following pages link to Vorlesungen ü bergriffsschrift (Q4715560):
Displayed 7 items.
- Assertion and grounding: a theory of assertion for constructive type theory (Q408330) (← links)
- Axiomatizations of arithmetic and the first-order/second-order divide (Q2053347) (← links)
- Frege, the identity of<i>Sinn</i>and Carnap's intension (Q3429440) (← links)
- Hugh maccoll: eine bibliographische erschließung seiner hauptwerke und notizen zu ihrer rezeptionsgeschichte (Q4391330) (← links)
- Frege: two theses, two senses (Q4448895) (← links)
- On Frege's Begriffsschrift Notation for Propositional Logic: Design Principles and Trade-Offs (Q4608221) (← links)
- The functional composition of sense (Q6147153) (← links)