Search

Now showing items 1-3 of 3

AN HERBRAND THEOREM FOR HIGHER ORDER LOGIC

Jervell, Herman Ruge (Research report / Forskningsrapport, 1971)

CRAIG'S INTERPOLATION THEOREM FOR THE INTUITIONISTIC LOGIC OF CONSTANT DOMAINS

Jervell, Herman Ruge (Research report / Forskningsrapport, 1971)

CORRECTION TO: A NEW PROOF OF THE CLASSICAL HERBRAND AND SKOLEM THEOREMS

Jervell, Herman Ruge (Research report / Forskningsrapport, 1971)