Ειδικά Θέματα Λογικής: Τυπική Θεμελίωση Μαθηματικών και Βοηθοί Αποδείξεων