The following pages link to Ansten Mørch Klev (Q1031832):
Displayed 18 items.
- Infinite time extensions of Kleene's \({\mathcal O}\) (Q1031833) (← links)
- (Q1650085) (redirect page) (← links)
- Immanent reasoning or equality in action. A plaidoyer for the play level (Q1650086) (← links)
- Identity and sortals (and Caesar) (Q1706776) (← links)
- The harmony of identity (Q2281316) (← links)
- The justification of identity elimination in Martin-Löf's type theory (Q2288279) (← links)
- DEDEKIND AND HILBERT ON THE FOUNDATIONS OF THE DEDUCTIVE SCIENCES (Q3224050) (← links)
- Dedekind's Logicism (Q4626034) (← links)
- THE CONCEPT<i>HORSE</i>IS A CONCEPT (Q4961743) (← links)
- (Q5149140) (← links)
- Matthias Wille.* <i>›Largely unknown‹ Gottlob Frege und der posthume Ruhm</i> <i>›alles in den Wind geschrieben‹ Gottlob Frege wider den Zeitgeist</i> (Q5149980) (← links)
- Husserl's Logical Grammar (Q5208099) (← links)
- (Q5224672) (← links)
- (Q5224885) (← links)
- ETA-RULES IN MARTIN-LÖF TYPE THEORY (Q5240810) (← links)
- THE AXIOM OF CHOICE IS FALSE INTUITIONISTICALLY (IN MOST CONTEXTS) (Q5884255) (← links)
- A Comparison of Type Theory with Set Theory (Q6075430) (← links)
- Spiritus asper versus lambda: on the nature of functional abstraction (Q6165008) (← links)