Computability-theoretic and proof-theoretic aspects of partial and linear orderings (0)

by R G Downey, D R Hirschfeldt, S Lempp, R Solomon
Venue:Israel J. Math