Nr. 32 (2003): RS-32 Extracting Herbrand Disjunctions by Functional Interpretation

Publiceret: 2003-06-02

Artikler