The following pages link to Handbook of the History of Logic (Q479003):
Displayed 22 items.
- Computational logic (Q479004) (← links)
- Logic: a history of its central concepts (Q487555) (← links)
- British logic in the nineteenth century (Q927303) (← links)
- Greek, Indian and Arabic logic (Q1885520) (← links)
- The rise of modern logic: from Leibniz to Frege (Q1888901) (← links)
- Mediaeval and Renaissance logic (Q2433858) (← links)
- Logic from Russell to Church (Q2433859) (← links)
- Sets and extensions in the twentieth century (Q2433860) (← links)
- Logic and the modalities in the twentieth century (Q2433861) (← links)
- The many valued and nonmonotonic turn in logic (Q2433862) (← links)
- Set Theory from Cantor to Cohen (Q3166610) (← links)
- History of the Continuum in the 20th Century (Q3166611) (← links)
- Infinite Combinatorics (Q3166612) (← links)
- Large Cardinals with Forcing (Q3166613) (← links)
- Inner Models for Large Cardinals (Q3166614) (← links)
- A Brief History of Determinacy (Q3166615) (← links)
- Singular Cardinals (Q3166616) (← links)
- Alternative Set Theories (Q3166617) (← links)
- Types, Sets, and Categories (Q3166618) (← links)
- The History of Categorical Logic: 1963–1977 (Q3166619) (← links)
- Russell's Orders in Kripke's Theory of Truth and Computational Type Theory (Q3166620) (← links)
- Inductive logic (Q5901150) (← links)