6433 results in Logic, categories and Sets
Part Two - Doing Category Theory
-
- Book:
- The Joy of Abstraction
- Published online:
- 13 October 2022
- Print publication:
- 13 October 2022, pp 163-164
-
- Chapter
- Export citation
14 - Isomorphisms
- from Part Two - Doing Category Theory
-
- Book:
- The Joy of Abstraction
- Published online:
- 13 October 2022
- Print publication:
- 13 October 2022, pp 165-185
-
- Chapter
- Export citation
The Joy of Abstraction
- An Exploration of Math, Category Theory, and Life
-
- Published online:
- 13 October 2022
- Print publication:
- 13 October 2022
THE LOGIC OF HYPERLOGIC. PART B: EXTENSIONS AND RESTRICTIONS
- Part of
-
- Journal:
- The Review of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 12 October 2022, pp. 1-28
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
2 - Words and sequences
-
- Book:
- The Logical Approach to Automatic Sequences
- Published online:
- 09 September 2022
- Print publication:
- 29 September 2022, pp 10-31
-
- Chapter
- Export citation
8 - First-order formulas for fundamental sequence properties
-
- Book:
- The Logical Approach to Automatic Sequences
- Published online:
- 09 September 2022
- Print publication:
- 29 September 2022, pp 113-192
-
- Chapter
- Export citation
6 - First-order logic and automatic sequences
-
- Book:
- The Logical Approach to Automatic Sequences
- Published online:
- 09 September 2022
- Print publication:
- 29 September 2022, pp 82-95
-
- Chapter
- Export citation
7 - Using Walnut
-
- Book:
- The Logical Approach to Automatic Sequences
- Published online:
- 09 September 2022
- Print publication:
- 29 September 2022, pp 96-112
-
- Chapter
- Export citation
Permissions
-
- Book:
- The Logical Approach to Automatic Sequences
- Published online:
- 09 September 2022
- Print publication:
- 29 September 2022, pp xiv-xvi
-
- Chapter
- Export citation
10 - Synchronized sequences
-
- Book:
- The Logical Approach to Automatic Sequences
- Published online:
- 09 September 2022
- Print publication:
- 29 September 2022, pp 237-302
-
- Chapter
- Export citation
Bibliography
-
- Book:
- The Logical Approach to Automatic Sequences
- Published online:
- 09 September 2022
- Print publication:
- 29 September 2022, pp 330-349
-
- Chapter
- Export citation
Contents
-
- Book:
- The Logical Approach to Automatic Sequences
- Published online:
- 09 September 2022
- Print publication:
- 29 September 2022, pp vii-x
-
- Chapter
- Export citation
1 - Introduction
-
- Book:
- The Logical Approach to Automatic Sequences
- Published online:
- 09 September 2022
- Print publication:
- 29 September 2022, pp 1-9
-
- Chapter
- Export citation
Index
-
- Book:
- The Logical Approach to Automatic Sequences
- Published online:
- 09 September 2022
- Print publication:
- 29 September 2022, pp 350-358
-
- Chapter
- Export citation
11 - Additive number theory
-
- Book:
- The Logical Approach to Automatic Sequences
- Published online:
- 09 September 2022
- Print publication:
- 29 September 2022, pp 303-315
-
- Chapter
- Export citation
13 - A final word
-
- Book:
- The Logical Approach to Automatic Sequences
- Published online:
- 09 September 2022
- Print publication:
- 29 September 2022, pp 327-329
-
- Chapter
- Export citation
Preface
-
- Book:
- The Logical Approach to Automatic Sequences
- Published online:
- 09 September 2022
- Print publication:
- 29 September 2022, pp xi-xiii
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- The Logical Approach to Automatic Sequences
- Published online:
- 09 September 2022
- Print publication:
- 29 September 2022, pp i-vi
-
- Chapter
- Export citation
5 - Automatic sequences
-
- Book:
- The Logical Approach to Automatic Sequences
- Published online:
- 09 September 2022
- Print publication:
- 29 September 2022, pp 62-81
-
- Chapter
- Export citation
4 - Automata
-
- Book:
- The Logical Approach to Automatic Sequences
- Published online:
- 09 September 2022
- Print publication:
- 29 September 2022, pp 47-61
-
- Chapter
- Export citation