Provability, Computability and Reflection ( Volume 14 )

Publication series :Volume 14

Author: Beklemishev   Lev D.  

Publisher: Elsevier Science‎

Publication year: 2000

E-ISBN: 9780080957340

P-ISBN(Paperback): 9780444533791

P-ISBN(Hardback):  9780444533791

Subject: B819 应用逻辑

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

CONTENTS

pp.:  6 – 8

Chapter I. Introduction

pp.:  8 – 23

Chapter II. Fundamental Terms

pp.:  23 – 47

Chapter III. Original Nomological Statements

pp.:  47 – 67

Chapter IV. Derivative Nomological Statements

pp.:  67 – 73

Chapter V. Admissible Statements

pp.:  73 – 91

Chapter VI. Extension of Verifiability

pp.:  91 – 95

Chapter VII. Counterfactuals of Noninterference

pp.:  95 – 101

Chapter VIII. Relative Nomological Statements

pp.:  101 – 126

Chapter IX. Permissible and Proper Implication

pp.:  126 – 133

APPENDIX. Genuine Probabilites and the Inductive Verification of All-Statements

pp.:  133 – 141

BIBLIOGRAPHY

pp.:  141 – 143

TABLE OF THEOREMS

pp.:  143 – 143

TABLE OF DEFINITIONS

pp.:  143 – 143

TABLE OF DEFINITIONS IN THE APPENDIX

pp.:  143 – 144

INDEX

pp.:  144 – 148

The users who browse this book also browse


No browse record.