Logic and Computation Theory Group (Amsterdam)