| Document Type
|
:
|
BL
|
| Record Number
|
:
|
726177
|
| Doc. No
|
:
|
b545909
|
| Main Entry
|
:
|
Melvin Fitting ...
|
| Title & Author
|
:
|
Proof methods for modal and intuitionistic logics\ Melvin Fitting ...
|
| Publication Statement
|
:
|
Dordrecht ; Boston ; Lancaster: D. Reidel, cop., 2010
|
| Page. NO
|
:
|
1 vol. (viii-555 p.) ; 23 cm
|
| ISBN
|
:
|
9048183812
|
|
|
:
|
: 9789048183814
|
| Notes
|
:
|
La couv. porte en plus: "Edited by Donald Davidson."
|
| Contents
|
:
|
One / Background.- Two / Analytic Modal Tableaus and Consistency Properties.- Three / Logical Consequence, Compactness, Interpolation, and Other Topics.- Four / Axiom Systems and Natural Deduction.- Five / Non-Analytic Logics.- Six / Non-Normal Logics.- Seven / Quantifiers.- Eight / Prefixed Tableau Systems.- Nine / Intuitionistic Logic.- Special Notation.
|
| Subject
|
:
|
Mathématiques intuitionnistes.
|
| Subject
|
:
|
Modalité (logique)
|
| Subject
|
:
|
Théorie de la démonstration.
|
| LC Classification
|
:
|
QA9.54M458 2010
|
| Added Entry
|
:
|
Melvin Chris Fitting
|