Overview

Full Product Details

Author:   Haskell B. Curry ,  W E Pfaffenberger
Publisher:   Dover Publications Inc.
Imprint:   Dover Publications Inc.
Edition:   2nd edition
Dimensions:   Width: 13.60cm , Height: 1.90cm , Length: 20.20cm
Weight:   0.399kg
ISBN:  

9780486634623

ISBN 10:   0486634620
Pages:   416
Publication Date:   28 March 2003
Audience:   College/higher education ,  Adult education ,  Undergraduate ,  Further / Higher Education
Format:   Paperback
Publisher's Status:   No Longer Our Product
Availability:   Not available  
This product is no longer available from the original publisher or manufacturer. There may be a chance that we can source it as a discontinued product.

Table of Contents

Preface; Explanation of Conventions Chapter 1. Introduction 1. The nature of mathematical logic 2. The logical antinomies 3. The nature of mathematics 4. Mathematics and logic 5. Supplementary topics Chapter 2. Formal Systems 1. Preliminaries 2. Theories 3. Systems 4. Special forms of systems 5. Algorithms 6. Supplementary topics Chapter 3. Epitheory 1. The nature of epitheory 2. Replacement and monotone relations 3. The theory of definition 4. Variables 5. Supplementary topics Chapter 4. Relational logical algebra 1. Logical algebras in general 2. Lattices 3. Skolem lattices 4. Classical Skolem lattices 5. Supplementary topics Chapter 5. The Theory of Implication 1. General principles of assertional logical algebra 2. Propositional algebras 3. The systems LA and LC 4. Equivalence of the systems 5. L deducibility 6. Supplementary topics Chapter 6. Negation 1. The nature of negation 2. L systems for negation 3. Other formulations of negation 4. Technique of classical negation 5. Supplementary topics Chapter 7. Quantification 1. Formulation 2. Theory of the L systems 3. Other forms of quantification theory 4. Classical epitheory 5. Supplementary topics Chapter 8. Modality 1. Formulation of necessity 2. The L theory of necessity 3. The T and H formulations of necessity 4. Supplementary topics Bibliography; Index

Reviews

Author Information

Haskell B. Curry was Evan Pugh Research Professor Emeritus at Pennsylvania State University. He was also a member of the Institute for Advanced Study, Princeton; a Director of the Institute for Foundational Research at the University of Amsterdam; and President of the Association for Symbolic Logic.

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions