Proof methods for modal and intuitionistic logics
| Κύριος συγγραφέας: | |
|---|---|
| Τύπος μέσου: | Εκτύπωση Βιβλίο |
| Γλώσσα: | Αγγλικά |
| Υπηρεσία παραγγελιών Subito: | Παραγγείλετε τώρα. |
| Έλεγχος διαθεσιμότητας: | HBZ Gateway |
| WorldCat: | WorldCat |
| Interlibrary Loan: | Interlibrary Loan for the Fachinformationsdienste (Specialized Information Services in Germany) |
| Έκδοση: |
Dordrecht [u.a.]
Reidel
1983
|
| Στο/Στη: |
Synthese <Dordrecht> / Library (169)
Έτος: 1983 |
| Μονογραφική σειρά/Περιοδικό: | Synthese <Dordrecht> / Library
169 |
| Τυποποιημένες (ακολουθίες) λέξεων-κλειδιών: | B
Τροπική λογική
/ Απόδειξη
B Διαισθητική λογική / Απόδειξη B Τροπική λογική / Αυτόματη απόδειξη θεωρημάτων |
| Άλλες λέξεις-κλειδιά: | B
Modality (Logic)
B modality (logic) B Proof theory B institutionistic mathematics B Intuitionistic mathematics |
| Διαθέσιμο Online: |
Εξώφυλλο Table of Contents (Publisher) |
| Περιγραφή τεκμηρίου: | Literaturverz. S. 526 - 539 Hier auch später erschienene, unveränderte Nachdrucke |
|---|---|
| Φυσική περιγραφή: | VIII, 555 S., graph. Darst., 23 cm |
| ISBN: | 9027715734 |