Τι είναι θεωρία των Αποδείξεων
Από το τεύχος 27 του περιοδικού Μαθηματική Επιθεώρηση
Με το κείμενο αυτό δίδεται μια σχετικά καλή και σύντομη περιγραφή του τι είναι η θεωρία αποδείξεων. Αναφέρονται και αναλύονται ορισμένα ρεύματα της θεωρίας αποδείξεων όπως: αναγωγική θεωρία αποδείξεων, Γενική θεωρία αποδείξεων και συνήθης θεωρία αποδείξεων, αλλά και ένα απλόι παράδειγμα τυπικού συστήματος που ενδιαφέρει τη θεωρία αποδείξεων.
Στοιχεία Άρθρου
| Περιοδικό |
Μαθηματική Επιθεώρηση |
| Αρ. Τεύχους |
Τεύχος 27 |
| Περίοδος |
Β΄εξάμηνο 1984 |
| Συγγραφέας |
Δ.Α. Αναπολιτάνος |
| Αρ. Αρθρου |
2 |
| Σελίδες |
35-43 |
| Γλώσσα |
Ελληνική |
| Λέξεις Κλειδιά |
- |
Σελ. 1
Σελ. 2
Σελ. 3
Σελ. 4
Σελ. 5
Σελ. 6
Σελ. 7
Σελ. 8
Σελ. 9
