Logic (index)

• A bit of logic
  
• Calculus - no, not that calculus!
  
• Quick Logic: Reasoning and Semantics
  
• More logic: models and why they matter
  
• Correcting my models post; or, why MarkCC is a dummy
  
• Logic Fun: Intuitionistic Logic
  
• Moving towards models: Kripke Semantics
  
• Finally: the Kripke Model for Intuitionistic Logic