Revision history for entry Jervell, Herman Ruge (1971). "A New Proof of the Classical Herbrand and Skolem Theorem" [JERANP]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes