Include your e-mail if you'd like us to get back to you.
We've received your feedback, thank you!
lauseloogika laienduste klass, kus lisaks lausesümbolitele ja konnektoritele on kasutusel muud sümbolid (nt kvantorid)