5123συμβολική λογικήPT0000-00-00 00:00:00BT5124παραγωγική λογικήPTNT5088μαθηματική λογικήPTNT5471τυπική λογικήPTRT4789προγραμματισμός και προγράμματαPT