Πλοήγηση κατά Θέμα Μαθηματική λογική και θεμελίωση των μαθηματικών

Τίτλος	Συγγραφείς	Θέμα	Είδος Τεκμηρίου
Αποδεικτικό σύστημα	Κολέτσος, Γεώργιος	Λογική και φιλοσοφία της λογικής, Παραγωγική λογική, Μαθηματική λογική και θεμελίωση των μαθηματικών, ...	Κεφάλαιο Συγγράμματος
Η λογική των προτάσεων, προτασιακός λογισμός	Κολέτσος, Γεώργιος	Λογική και φιλοσοφία της λογικής, Παραγωγική λογική, Μαθηματική λογική και θεμελίωση των μαθηματικών, ...	Κεφάλαιο Συγγράμματος
Λάμβδα λογισμός και αποδείξεις, ισομoρφισμός Curry-Howard	Κολέτσος, Γεώργιος	Λογική και φιλοσοφία της λογικής, Παραγωγική λογική, Μαθηματική λογική και θεμελίωση των μαθηματικών, ...	Κεφάλαιο Συγγράμματος
Μαθηματική λογική	Κολέτσος, Γεώργιος	Λογική και φιλοσοφία της λογικής, Παραγωγική λογική, Μαθηματική λογική και θεμελίωση των μαθηματικών, ...	Σύγγραμμα
Μαθηματική Λογική, Πύλες και Κυκλώματα	Γεωργίου, Δημήτριος, Αντωνίου, Ευστάθιος, Χατζημιχαηλίδης, Ανέστης	Διακριτές δομές, Μαθηματική λογική και θεμελίωση των μαθηματικών, Αλγεβρική λογική, ...	Κεφάλαιο Συγγράμματος
ΜΑΘΗΜΑΤΙΚΗ ΛΟΓΙΚΗ: Εισαγωγή	Κολέτσος, Γεώργιος	Λογική και φιλοσοφία της λογικής, Παραγωγική λογική, Μαθηματική λογική και θεμελίωση των μαθηματικών, ...	Κεφάλαιο Συγγράμματος
Πρωτοβάθμια κατηγορηματική Λογική	Κολέτσος, Γεώργιος	Λογική και φιλοσοφία της λογικής, Παραγωγική λογική, Μαθηματική λογική και θεμελίωση των μαθηματικών, ...	Κεφάλαιο Συγγράμματος
Σύστημα Hilbert	Κολέτσος, Γεώργιος	Λογική και φιλοσοφία της λογικής, Παραγωγική λογική, Μαθηματική λογική και θεμελίωση των μαθηματικών, ...	Κεφάλαιο Συγγράμματος
Συστήματα Gentzen	Κολέτσος, Γεώργιος	Λογική και φιλοσοφία της λογικής, Παραγωγική λογική, Μαθηματική λογική και θεμελίωση των μαθηματικών, ...	Κεφάλαιο Συγγράμματος
Συστήματα Tableaux	Κολέτσος, Γεώργιος	Λογική και φιλοσοφία της λογικής, Παραγωγική λογική, Μαθηματική λογική και θεμελίωση των μαθηματικών, ...	Κεφάλαιο Συγγράμματος

• 1
• 2
• Επόμενο