All Stories

  1. THE HERBRAND FUNCTIONAL INTERPRETATION OF THE DOUBLE NEGATION SHIFT
  2. Sequential games and optimal strategies