6434 results in Logic, categories and Sets
Chapter 4 - More Mice and Iteration Trees
-
- Book:
- A Comparison Process for Mouse Pairs
- Published online:
- 10 November 2022
- Print publication:
- 24 November 2022, pp 101-202
-
- Chapter
- Export citation
Chapter 7 - Strategies That Condense and Normalize Well
-
- Book:
- A Comparison Process for Mouse Pairs
- Published online:
- 10 November 2022
- Print publication:
- 24 November 2022, pp 291-340
-
- Chapter
- Export citation
11 - Computability
-
- Book:
- Mathematical Logic and Computation
- Published online:
- 08 September 2022
- Print publication:
- 24 November 2022, pp 279-321
-
- Chapter
- Export citation
13 - Finite Types
-
- Book:
- Mathematical Logic and Computation
- Published online:
- 08 September 2022
- Print publication:
- 24 November 2022, pp 351-382
-
- Chapter
- Export citation
Chapter 2 - Preliminaries
-
- Book:
- A Comparison Process for Mouse Pairs
- Published online:
- 10 November 2022
- Print publication:
- 24 November 2022, pp 19-68
-
- Chapter
- Export citation
Chapter 5 - Some Properties of Induced Strategies
-
- Book:
- A Comparison Process for Mouse Pairs
- Published online:
- 10 November 2022
- Print publication:
- 24 November 2022, pp 203-220
-
- Chapter
- Export citation
10 - First-Order Arithmetic
-
- Book:
- Mathematical Logic and Computation
- Published online:
- 08 September 2022
- Print publication:
- 24 November 2022, pp 237-278
-
- Chapter
- Export citation
Index
-
- Book:
- Mathematical Logic and Computation
- Published online:
- 08 September 2022
- Print publication:
- 24 November 2022, pp 508-513
-
- Chapter
- Export citation
Index
-
- Book:
- A Comparison Process for Mouse Pairs
- Published online:
- 10 November 2022
- Print publication:
- 24 November 2022, pp 533-536
-
- Chapter
- Export citation
Chapter 9 - Fine Structure for the Least Branch Hierarchy
-
- Book:
- A Comparison Process for Mouse Pairs
- Published online:
- 10 November 2022
- Print publication:
- 24 November 2022, pp 387-440
-
- Chapter
- Export citation
Appendix A - Background
-
- Book:
- Mathematical Logic and Computation
- Published online:
- 08 September 2022
- Print publication:
- 24 November 2022, pp 488-496
-
- Chapter
- Export citation
3 - Semantics of Propositional Logic
-
- Book:
- Mathematical Logic and Computation
- Published online:
- 08 September 2022
- Print publication:
- 24 November 2022, pp 59-82
-
- Chapter
- Export citation
Notation
-
- Book:
- Mathematical Logic and Computation
- Published online:
- 08 September 2022
- Print publication:
- 24 November 2022, pp 504-507
-
- Chapter
- Export citation
GENERALIZED PARTIAL MEET AND KERNEL CONTRACTIONS
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 17 / Issue 2 / June 2024
- Published online by Cambridge University Press:
- 24 November 2022, pp. 366-394
- Print publication:
- June 2024
-
- Article
- Export citation
4 - First-Order Logic
-
- Book:
- Mathematical Logic and Computation
- Published online:
- 08 September 2022
- Print publication:
- 24 November 2022, pp 83-109
-
- Chapter
- Export citation
Preface
-
- Book:
- A Comparison Process for Mouse Pairs
- Published online:
- 10 November 2022
- Print publication:
- 24 November 2022, pp xi-xii
-
- Chapter
- Export citation
1 - Fundamentals
-
- Book:
- Mathematical Logic and Computation
- Published online:
- 08 September 2022
- Print publication:
- 24 November 2022, pp 1-27
-
- Chapter
- Export citation
15 - Second-Order Logic and Arithmetic
-
- Book:
- Mathematical Logic and Computation
- Published online:
- 08 September 2022
- Print publication:
- 24 November 2022, pp 409-439
-
- Chapter
- Export citation
Preface
-
- Book:
- Mathematical Logic and Computation
- Published online:
- 08 September 2022
- Print publication:
- 24 November 2022, pp ix-xi
-
- Chapter
- Export citation
![](https://assets.cambridge.org/97811088/40682/cover/9781108840682.jpg)
A Comparison Process for Mouse Pairs
-
- Published online:
- 10 November 2022
- Print publication:
- 24 November 2022