Entailment [online] : The logic of relevance and necessity /
Material type:
- 9781400887071

Vol. 2 Frontmatter Contents Analytical table of contents Preface Acknowledgments Summary review of volume I Chapter VI. The theory of entailment Chapter VII. Individual quantification Chapter VIII. Ackermann's strenge implikation Chapter IX. Semantics Chapter X. Proof theory and decidability Chapter XI. Functions, arithmetic, and other special topics Chapter XII. Applications and discussion Bibliography Index of names Index of subjects Special symbols
Achiziție prin proiectul Anelis Plus 2020.
There are no comments on this title.