History: Logicians' jargon

Source of version: 2 (current)