Skip to content

Systems of Logic

Spend $50 to get a free movie!

ISBN-10: 0521367700

ISBN-13: 9780521367707

Edition: 1989

Authors: Norman M. Martin

List price: $54.99
Blue ribbon 30 day, 100% satisfaction guarantee!
Out of stock
We're sorry. This item is currently unavailable.
what's this?
Rush Rewards U
Members Receive:
Carrot Coin icon
XP icon
You have reached 400 XP and carrot coins. That is the daily max!


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.
Customers also bought

Book details

List price: $54.99
Copyright year: 1989
Publisher: Cambridge University Press
Publication date: 7/28/1989
Binding: Paperback
Pages: 336
Size: 6.25" wide x 9.50" long x 0.50" tall
Weight: 1.034
Language: English

Formal systems and structure theory
Zero-order logic: proof theory
Zero-order model theory
Positive implication
Complete implication-negation logic
Multi-connective systems
Strict implications: introduction
Strict implications: addition results
Quantification and first-order logic
Quantification and complete logics
Quantification and incomplete logics
Interpretation of formal systems
Appendix: historical and bibliographical remarks
Subject index
Index of systems
Index of symbols.