Home Favourite Links Manuelal's Favorite Links from Diigo restricted second-order logic for non-deterministic poly-logarithmic time | Logic Journal of the IGPL | Oxford Academic