Logică formală

250 __ $aLogică formală
299 __ $aLogică formală