Λογική και απόδειξη : θεωρία - ασκήσεις
Αποθηκεύτηκε σε:
| Κύριος συγγραφέας: | |
|---|---|
| Μορφή: | Βιβλίο |
| Γλώσσα: | Greek |
| Δημοσίευση: |
Θεσσαλονίκη :
Ζήτη,
1995
|
| Θέματα: | |
| Ετικέτες: |
Προσθήκη ετικέτας
Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!
|
Πίνακας περιεχομένων:
- Εισαγωγικά κεφάλαια μαθηματικής λογικής: Αξιωματική μέθοδος - Προτασιακοί λογισμοί - Πρωτοβάθμια κατηγορηματική λογική - Κλασσική και διαισθητική λογική - Θεωρία αποδείξεων