عنوان
پدید آورنده
موضوع
رده
QA9.54 M458 2010
QA9
.
54
M458
2010
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
9048183812
(Number (ISBN
9789048183814
NATIONAL BIBLIOGRAPHY NUMBER
Number
b545909
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Proof methods for modal and intuitionistic logics
General Material Designation
[Book]
First Statement of Responsibility
Melvin Fitting ...
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Dordrecht ; Boston ; Lancaster
Name of Publisher, Distributor, etc.
D. Reidel, cop.
Date of Publication, Distribution, etc.
2010
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
1 vol. (viii-555 p.) ; 23 cm
GENERAL NOTES
Text of Note
La couv. porte en plus: "Edited by Donald Davidson."
CONTENTS NOTE
Text of Note
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.
TOPICAL NAME USED AS SUBJECT
Mathématiques intuitionnistes.
Modalité (logique)
Théorie de la démonstration.
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA9
.
54
Book number
M458
2010
PERSONAL NAME - PRIMARY RESPONSIBILITY
Melvin Fitting ...
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Melvin Chris Fitting
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
