Systems of logic
Norman M. Martin
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.
Рік:
1989
Видавництво:
Cambridge University Press
Мова:
english
Сторінки:
333
ISBN 10:
0521367700
ISBN 13:
9780521367707
Файл:
DJVU, 1.52 MB
IPFS:
,
english, 1989