"Matemaatiline loogika" Ivar Kull
Õpikud, õppekirjandus
Hind:7.00EUR
Käesoleva õpiku ülesandeks on lugejat tutvustada kaasaegse matemaatilise loogika põhilisemate arvutussüsteemide – lausearvutuse ja predikaatarvutusega, mis on ka seni kõige rohkem rakendamist leidnud loogilised arvutussüsteemid.