5088μαθηματική λογικήPT0000-00-00 00:00:00BT5123συμβολική λογικήPTBT5073θεμελίωση μαθηματικώνPTNT5062άλγεβρα ΜπουλPTNT5059αλγόριθμοιPTNT5125διαγράμματα VennPTNT5126τεχνητή νοημοσύνηPT