A First Course in Logic More Books Like This

A Transition to Proof A Transition to Proof
A Transition to Proof
2019
The Elements of Advanced Mathematics The Elements of Advanced Mathematics
The Elements of Advanced Mathematics
2022
A First Course in Mathematical Logic and Set Theory A First Course in Mathematical Logic and Set Theory
A First Course in Mathematical Logic and Set Theory
2015
An Invitation to Abstract Mathematics An Invitation to Abstract Mathematics
An Invitation to Abstract Mathematics
2020
Proof Writing: Questions and Answers (2020 Edition) Proof Writing: Questions and Answers (2020 Edition)
Proof Writing: Questions and Answers (2020 Edition)
2019
Proof Writing: Questions and Answers Proof Writing: Questions and Answers
Proof Writing: Questions and Answers
2018
An Introduction to Mathematical Proofs An Introduction to Mathematical Proofs
An Introduction to Mathematical Proofs
2019
Elementary Set Theory: Questions and Answers (2020 Edition) Elementary Set Theory: Questions and Answers (2020 Edition)
Elementary Set Theory: Questions and Answers (2020 Edition)
2019
An Introduction to the Language of Mathematics An Introduction to the Language of Mathematics
An Introduction to the Language of Mathematics
2018
Twenty Five Years of Constructive Type Theory Twenty Five Years of Constructive Type Theory
Twenty Five Years of Constructive Type Theory
1998
Mathematical Logic Mathematical Logic
Mathematical Logic
2018
Proof and Computation Proof and Computation
Proof and Computation
2018
PROOF AND COMPUTATION II PROOF AND COMPUTATION II
PROOF AND COMPUTATION II
2021
Aspects of Mathematical Logic Aspects of Mathematical Logic
Aspects of Mathematical Logic
2011
Logica Universalis Logica Universalis
Logica Universalis
2005