6434 results in Logic, categories and Sets
11 - Preview of Linear Algebra
-
- Book:
- Introduction to Proofs and Proof Strategies
- Published online:
- 08 June 2023
- Print publication:
- 22 June 2023, pp 306-338
-
- Chapter
- Export citation
1 - Numbers, Quadratics and Inequalities
-
- Book:
- Introduction to Proofs and Proof Strategies
- Published online:
- 08 June 2023
- Print publication:
- 22 June 2023, pp 3-24
-
- Chapter
- Export citation
2 - Sets, Functions and the Field Axioms
-
- Book:
- Introduction to Proofs and Proof Strategies
- Published online:
- 08 June 2023
- Print publication:
- 22 June 2023, pp 25-65
-
- Chapter
- Export citation
3 - Informal Logic and Proof Strategies
-
- Book:
- Introduction to Proofs and Proof Strategies
- Published online:
- 08 June 2023
- Print publication:
- 22 June 2023, pp 66-98
-
- Chapter
- Export citation
Preface
-
- Book:
- Introduction to Proofs and Proof Strategies
- Published online:
- 08 June 2023
- Print publication:
- 22 June 2023, pp xiii-xiv
-
- Chapter
- Export citation
6 - Integers and Divisibility
-
- Book:
- Introduction to Proofs and Proof Strategies
- Published online:
- 08 June 2023
- Print publication:
- 22 June 2023, pp 164-183
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Introduction to Proofs and Proof Strategies
- Published online:
- 08 June 2023
- Print publication:
- 22 June 2023, pp i-iv
-
- Chapter
- Export citation
Part I - Core Material
-
- Book:
- Introduction to Proofs and Proof Strategies
- Published online:
- 08 June 2023
- Print publication:
- 22 June 2023, pp 1-2
-
- Chapter
- Export citation
Index
-
- Book:
- Introduction to Proofs and Proof Strategies
- Published online:
- 08 June 2023
- Print publication:
- 22 June 2023, pp 339-342
-
- Chapter
- Export citation
5 - Bijections and Cardinality
-
- Book:
- Introduction to Proofs and Proof Strategies
- Published online:
- 08 June 2023
- Print publication:
- 22 June 2023, pp 128-163
-
- Chapter
- Export citation
7 - Relations
-
- Book:
- Introduction to Proofs and Proof Strategies
- Published online:
- 08 June 2023
- Print publication:
- 22 June 2023, pp 184-204
-
- Chapter
- Export citation
9 - Preview of Real Analysis – Limits and Continuity
-
- Book:
- Introduction to Proofs and Proof Strategies
- Published online:
- 08 June 2023
- Print publication:
- 22 June 2023, pp 234-265
-
- Chapter
- Export citation
Part II - Additional Topics
-
- Book:
- Introduction to Proofs and Proof Strategies
- Published online:
- 08 June 2023
- Print publication:
- 22 June 2023, pp 205-206
-
- Chapter
- Export citation
8 - Elementary Combinatorics
-
- Book:
- Introduction to Proofs and Proof Strategies
- Published online:
- 08 June 2023
- Print publication:
- 22 June 2023, pp 207-233
-
- Chapter
- Export citation
Symbols and Notation
-
- Book:
- Introduction to Proofs and Proof Strategies
- Published online:
- 08 June 2023
- Print publication:
- 22 June 2023, pp x-xii
-
- Chapter
- Export citation
4 - Mathematical Induction
-
- Book:
- Introduction to Proofs and Proof Strategies
- Published online:
- 08 June 2023
- Print publication:
- 22 June 2023, pp 99-127
-
- Chapter
- Export citation
UNPRINCIPLED
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 17 / Issue 2 / June 2024
- Published online by Cambridge University Press:
- 13 June 2023, pp. 435-474
- Print publication:
- June 2024
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
![](http://assets.cambridge.org/97810090/96287/cover/9781009096287.jpg)
Introduction to Proofs and Proof Strategies
-
- Published online:
- 08 June 2023
- Print publication:
- 22 June 2023
-
- Textbook
- Export citation
FIRST-ORDER FRIENDLINESS
- Part of
-
- Journal:
- The Review of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 07 June 2023, pp. 1-15
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
NON-CONTRACTIVE LOGICS, PARADOXES, AND MULTIPLICATIVE QUANTIFIERS
- Part of
-
- Journal:
- The Review of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 05 June 2023, pp. 1-22
-
- Article
-
- You have access
- Open access
- HTML
- Export citation