Provability, Computability and Reflection ( Volume 11 )

Publication series ：Volume 11

Author： Beklemishev Lev D.

Publisher： Elsevier Science‎

Publication year： 2000

E-ISBN: 9780080957319

P-ISBN(Paperback): 9780444533760

P-ISBN(Hardback): 9780444533760

Subject： B812.22 判断、命题

Language： ENG

Access to resources Favorite

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Description

Provability, Computability and Reflection

Chapter

Front Cover

pp.： 1 – 4

Truth and Consequence in Mediaeval Logic

pp.： 4 – 5

pp.： 5 – 7

Preface

pp.： 6 – 8

Contents

pp.： 7 – 6

Conspectus of Symbolic Notations

pp.： 8 – 10

Chapter I. Introduction

pp.： 10 – 22

Chapter II. Logic and language

pp.： 22 – 39

Chapter III. The theory of truth conditions

pp.： 39 – 73

Chapter IV. The theory of consequence

pp.： 73 – 110

Chapter V. Truth and consequence

pp.： 110 – 120

Abbreviations for Works Cited, and Bibliography

pp.： 120 – 126

The users who browse this book also browse