
The Methods of Logic contaisn numerous texutal improvements. Chief among them a more complete justification of the deductive rules in section 28, completion of the Method. In the first eidtion these rules were indirectly justified; in the new edition the rules and restrictions are more intuitively and directly explained and justified. The discussion of theorems of Church and Godel has been rewritten and extended with a view to providing a fuller understanding of their nature. An added appendix proves Godel's theorem of the completeness of quantification theory and a related theorem of Lowenheim. Although the book is a rigorous treatment of modern logic, its clarity of statement and quality of exposition make it indespensable to logical inquiry.
Page Count:
0
Publication Date:
1961-01-01
ISBN-10:
003006595X
ISBN-13:
9780030065958
No comments yet. Be the first to share your thoughts!