Items where Author is "Humberstone, Lloyd"

Number of items: 1.
  • Intuitionistic logic and elementary rules. Humberstone, Lloyd and Makinson, David