- Uus
Ivar Kull
Tallinn : Eesti Riiklik Kirjastus, 1964
223 lk. : ill.
Kõvade kaantega, kasutatud ja heas seisukorras raamat
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.