A second-order theory for NL. submitted (2004)

by S Cook, A Kolokolova