Entity usage
From MaRDI portal
This page lists pages that use the given entity (e.g. Q42). The list is sorted by descending page ID, so that newer pages are listed first.
Showing below up to 22 results in range #1 to #22.
- Russell's Orders in Kripke's Theory of Truth and Computational Type Theory: Label: en
- The History of Categorical Logic: 1963–1977: Label: en
- Types, Sets, and Categories: Label: en
- Alternative Set Theories: Label: en
- Singular Cardinals: Label: en
- A Brief History of Determinacy: Label: en
- Inner Models for Large Cardinals: Label: en
- Large Cardinals with Forcing: Label: en
- Infinite Combinatorics: Label: en
- History of the Continuum in the 20th Century: Label: en
- Set Theory from Cantor to Cohen: Label: en
- Logic and the modalities in the twentieth century: Label: en
- Sets and extensions in the twentieth century: Label: en
- Logic from Russell to Church: Label: en
- Mediaeval and Renaissance logic: Label: en
- The many valued and nonmonotonic turn in logic: Label: en
- The rise of modern logic: from Leibniz to Frege: Label: en
- Greek, Indian and Arabic logic: Label: en
- Inductive logic: Label: en
- British logic in the nineteenth century: Label: en
- Logic: a history of its central concepts: Label: en
- Computational logic: Label: en