Items where Author is "Makinson, David"

Number of items: 2.
  • Gödel’s Master Argument: what is it, and what can it do? Makinson, David
  • Intuitionistic logic and elementary rules. Humberstone, Lloyd and Makinson, David