Include your e-mail if you'd like us to get back to you.
We've received your feedback, thank you!
matemaatilise loogika haru, mis käsitleb kahest tõeväärtusest (ehk tõesest ja väärast) koosnevaid süsteeme