4059 results in Logic
3 - Organic unities and the principle of universality
-
- Book:
- Intrinsic Value
- Published online:
- 07 May 2010
- Print publication:
- 30 September 1994, pp 32-47
-
- Chapter
- Export citation
5 - Pleasure and its intrinsic value
-
- Book:
- Intrinsic Value
- Published online:
- 07 May 2010
- Print publication:
- 30 September 1994, pp 67-87
-
- Chapter
- Export citation
![](https://assets.cambridge.org/97805214/83254/cover/9780521483254.jpg)
The Logic of Provability
-
- Published online:
- 08 January 2010
- Print publication:
- 25 February 1994
7 - On GL
-
- Book:
- The Logic of Provability
- Published online:
- 08 January 2010
- Print publication:
- 25 February 1994, pp 92-103
-
- Chapter
- Export citation
Notation and symbols
-
- Book:
- The Logic of Provability
- Published online:
- 08 January 2010
- Print publication:
- 25 February 1994, pp 276-276
-
- Chapter
- Export citation
10 - Trees for GL
-
- Book:
- The Logic of Provability
- Published online:
- 08 January 2010
- Print publication:
- 25 February 1994, pp 138-147
-
- Chapter
- Export citation
Index
-
- Book:
- The Logic of Provability
- Published online:
- 08 January 2010
- Print publication:
- 25 February 1994, pp 271-275
-
- Chapter
- Export citation
13 - Modal logic within set theory
-
- Book:
- The Logic of Provability
- Published online:
- 08 January 2010
- Print publication:
- 25 February 1994, pp 165-176
-
- Chapter
- Export citation
Contents
-
- Book:
- The Logic of Provability
- Published online:
- 08 January 2010
- Print publication:
- 25 February 1994, pp vii-viii
-
- Chapter
- Export citation
16 - On GLB: The fixed point theorem, letterless sentences, and analysis
-
- Book:
- The Logic of Provability
- Published online:
- 08 January 2010
- Print publication:
- 25 February 1994, pp 208-218
-
- Chapter
- Export citation
2 - Peano arithmetic
-
- Book:
- The Logic of Provability
- Published online:
- 08 January 2010
- Print publication:
- 25 February 1994, pp 15-50
-
- Chapter
- Export citation
9 - The arithmetical completeness theorems for GL and GLS
-
- Book:
- The Logic of Provability
- Published online:
- 08 January 2010
- Print publication:
- 25 February 1994, pp 124-137
-
- Chapter
- Export citation
Bibliography
-
- Book:
- The Logic of Provability
- Published online:
- 08 January 2010
- Print publication:
- 25 February 1994, pp 262-270
-
- Chapter
- Export citation
4 - Semantics for GL and other modal logics
-
- Book:
- The Logic of Provability
- Published online:
- 08 January 2010
- Print publication:
- 25 February 1994, pp 68-77
-
- Chapter
- Export citation
Notes
-
- Book:
- The Logic of Provability
- Published online:
- 08 January 2010
- Print publication:
- 25 February 1994, pp 256-261
-
- Chapter
- Export citation
17 - Quantified provability logic
-
- Book:
- The Logic of Provability
- Published online:
- 08 January 2010
- Print publication:
- 25 February 1994, pp 219-241
-
- Chapter
- Export citation
Preface
-
- Book:
- The Logic of Provability
- Published online:
- 08 January 2010
- Print publication:
- 25 February 1994, pp ix-xiv
-
- Chapter
- Export citation
6 - Canonical models
-
- Book:
- The Logic of Provability
- Published online:
- 08 January 2010
- Print publication:
- 25 February 1994, pp 85-91
-
- Chapter
- Export citation
14 - Modal logic within analysis
-
- Book:
- The Logic of Provability
- Published online:
- 08 January 2010
- Print publication:
- 25 February 1994, pp 177-186
-
- Chapter
- Export citation
3 - The box as Bew(x)
-
- Book:
- The Logic of Provability
- Published online:
- 08 January 2010
- Print publication:
- 25 February 1994, pp 51-67
-
- Chapter
- Export citation