Revision history for entry Craig, W.; Vaught, R. L. (1958). "Finite axiomatizability using additional predicates" [CRAFAU] |
| Time | Type | Notes |
Revision history for entry Craig, W.; Vaught, R. L. (1958). "Finite axiomatizability using additional predicates" [CRAFAU] |
| Time | Type | Notes |