Where this topic leads
Topics that build on Basic Logic and Proof Techniques
Once you have Basic Logic and Proof Techniques, these are the topics that cite it as a prerequisite. Pick by tier and the area you want to push into next.
Editor's suggested next (2)
Core flagship topics (2)
- Information Retrieval Foundationslayer 2 · algorithms-foundations
- Sets, Functions, and Relationslayer 0A · foundations
Standard topics (6)
- Arrow's Impossibility Theoremlayer 2 · decision-theory
- CAP Theoremlayer 3 · algorithms-foundations
- Category Theorylayer 0A · foundations
- Distributed Consensuslayer 3 · algorithms-foundations
- Relational Algebralayer 1 · foundations
- Type Theorylayer 0A · foundations
Advanced or specialty topics (2)
- Model Theory Basicslayer 2 · foundations
- Proof Theory and Cut-Eliminationlayer 2 · foundations