Kui soovid oma küsimusele vastust, jäta meile oma e-posti aadress.
Aitäh, oleme tagasiside kätte saanud.
lauseloogika laienduste klass, kus lisaks lausesümbolitele ja konnektoritele on kasutusel muud sümbolid (nt kvantorid)