"first-order logic" Papers

2 papers found