Entailment [online] : The logic of relevance and necessity /
Contributor(s): ANDERSON, Alan Ross | BELNAP, Nuel D | DUNN, J. Michael.
Material type: BookSeries: Princeton Legacy Library, 5027.Publisher: New Jersey : Princeton University Press, 2017Description: 1 resursă online (vol.); (778 p.) vol. 2.ISBN: 9781400887071.Subject(s): | DE-Filosofie | | cărți electronice | cărți achiziții | cărți străine | logicăGenre/Form: Online resources: Acces la textul integral numai din contul de acces mobil.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 for this item.