Provability, Computability and Reflection ( Volume 31 )

Publication series ：Volume 31

Author： Beklemishev   Lev D.  

Publisher： Elsevier Science‎

Publication year： 2000

E-ISBN: 9780080957517

P-ISBN(Paperback): 9780444533968

P-ISBN(Hardback):  9780444533968

Subject： B502.233 Aristotle (Aristoteles, in 384 BC - 322 BC) before

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

Aristotle's Modal Syllogisms

pp.：  4 – 5

Copyright Page

pp.：  5 – 8

Preface

pp.：  6 – 7

Notation

pp.：  7 – 10

Contents

pp.：  8 – 6

Chapter I. The Problem of the Apodeictic Moods

pp.：  10 – 37

Chapter II. The System of Apodeictic Moods

pp.：  37 – 56

Chapter III. Decision Procedure for the Apodeictic Moods

pp.：  56 – 75

Chapter IV. The Contingent Moods

pp.：  75 – 108

Index

pp.：  108 – 110

The users who browse this book also browse


No browse record.