• Uus
Matemaatiline loogika
  • Matemaatiline loogika

Matemaatiline loogika

4,50 €
Maksudega

Ivar Kull

Tallinn : Eesti Riiklik Kirjastus, 1964

223 lk. : ill.

Kõvade kaantega, kasutatud ja heas seisukorras raamat

Kogus

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.

Kull, Ivar
1 Ühik