AKIT
English Eesti

first-order predicate logic

esimest järku predikaatloogika