.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
Advanced Logic for Applications
Richard E. Grandy
€ 68.05
FREE Delivery in Ireland
Description for Advanced Logic for Applications
Paperback. Series: Synthese Library. Num Pages: 176 pages, biography. BIC Classification: HPL. Category: (P) Professional & Vocational. Dimension: 229 x 152 x 10. Weight in Grams: 278.
This book is intended to be a survey of the most important results in mathematical logic for philosophers. It is a survey of results which have philosophical significance and it is intended to be accessible to philosophers. I have assumed the mathematical sophistication acquired· in an introductory logic course or in reading a basic logic text. In addition to proving the most philosophically significant results in mathematical logic, I have attempted to illustrate various methods of proof. For example, the completeness of quantification theory is proved both constructively and non-constructively and relative ad vantages of each type of proof are ... Read more
This book is intended to be a survey of the most important results in mathematical logic for philosophers. It is a survey of results which have philosophical significance and it is intended to be accessible to philosophers. I have assumed the mathematical sophistication acquired· in an introductory logic course or in reading a basic logic text. In addition to proving the most philosophically significant results in mathematical logic, I have attempted to illustrate various methods of proof. For example, the completeness of quantification theory is proved both constructively and non-constructively and relative ad vantages of each type of proof are ... Read more
Product Details
Format
Paperback
Publication date
1979
Publisher
Springer Netherlands
Number of pages
176
Condition
New
Series
Synthese Library
Number of Pages
176
Place of Publication
Dordrecht, Netherlands
ISBN
9789027710345
SKU
V9789027710345
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Advanced Logic for Applications