عنوان
پدید آورنده
موضوع
رده
BC135 .M325 1989
BC135
.
M325
1989
کتابخانه
محل استقرار
0521365899
0521367700
9780521365895
9780521367707
b764353
Systems of logic /
[Book]
Norman M. Martin.
New York :
Cambridge University Press,
1989.
xi, 318 pages ;
24 cm
Includes bibliographical references.
1. Formal systems and structure theory --- 2. Zero-order logic: proof theory --- 3. Zero-order model theory --- 4. Positive implication --- 5. Negation --- 6. Complete implication-negation logic --- 7. Disjunction --- 8. Conjunction --- 9. Multi-connective systems --- 10. Strict implications: introduction --- 11. Strict implications: addition results --- 12. Quantification and first-order logic --- 13. Quantification and complete logics --- 14. Quantification and incomplete logics --- 15. Interpretation of formal systems ---- Appendix: historical and bibliographical remarks.
0
This advanced study of systems of propositional logic offers a comprehensive account of a wide variety of logical systems and encourages students to take a critical stance toward the subject. A great variety of systems and subsystems are defined and compared as regards their deductive power and relation to their model theory. Special attention is given to the weakenings of classical logic and a more refined treatment of modal logic is presented. -- Back cover.
Logic, Symbolic and mathematical.
Logic.
Logique symbolique et mathématique.
Logic, Symbolic and mathematical.
Logic, Symbolic and mathematical.
Logic.
Logik
Logique.
Symbolische logica.
160
19
BC135
.
M325
1989
*
03-02
03-01
03B05
03B10
03B20
03B30
03B45
08
.
33
31
.
10
5
,
1
CC
2500
CC
2600
MAT
030f
SK
130
msc
msc
msc
msc
msc
msc
msc
bcl
bcl
ssgn
rvk
rvk
stub
rvk
Martin, Norman M.
20201204234548.0
مطالعه متن کتاب [Book]
Y
