Proof methods for modal and intuitionistic logics
Τόπος έκδοσης: | Synthese <Dordrecht> / Library |
---|---|
Κύριος συγγραφέας: | |
Τύπος μέσου: | Εκτύπωση Βιβλίο |
Γλώσσα: | Αγγλικά |
Υπηρεσία παραγγελιών Subito: | Παραγγείλετε τώρα. |
Έλεγχος διαθεσιμότητας: | HBZ Gateway |
Fernleihe: | Fernleihe für die Fachinformationsdienste |
Έκδοση: |
Dordrecht [u.a.]
Reidel
1983
|
Στο/Στη: |
Synthese <Dordrecht> / Library (169)
|
Μονογραφική σειρά/Περιοδικό: | Synthese <Dordrecht> / Library
169 |
Τυποποιημένες (ακολουθίες) λέξεων-κλειδιών: | B
Τροπική λογική
/ Απόδειξη
B Διαισθητική λογική / Απόδειξη B Τροπική λογική / Αυτόματη απόδειξη θεωρημάτων |
Άλλες λέξεις-κλειδιά: | B
Modality (Logic)
B modality (logic) B Proof theory B institutionistic mathematics B Intuitionistic mathematics |
Διαθέσιμο Online: |
Εξώφυλλο Inhaltsverzeichnis (Verlag) |
Περιγραφή τεκμηρίου: | Literaturverz. S. 526 - 539 Hier auch später erschienene, unveränderte Nachdrucke |
---|---|
ISBN: | 9027715734 |