Include your email 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)
