External Links

    Journal: Math. Log. Q.

    Volume 31, Issue 13

    193 -- 200Rodney G. Downey, Iraj Kalantari. Effective Extensions of Linear Forms on a Recursive Vector Space Over a Recursive Field
    201 -- 208Dolph Ulrich. A Descending Chain of Incomplete Extensions of Implicational S 5
    runs on