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