This is the formal logic textbook, forall x: Bristol Remix.
Download links:
This book is based on forallx: Calgary by Aaron Thomas-Bolduc & Richard Zach University of Calgary used under a CC BY-SA 4.0 license, which is based on forallx: Cambridge, by Tim Button University of Cambridge used under a CC BY-SA 3.0 license, which is based in turn on forallx, by P.D. Magnus University at Albany, State University of New York used under a CC BY-SA 3.0 license. Then altered by Catrin Campbell-Moore and Johannes Stern University of Bristol
This work is licensed under a Creative Commons Attribution-ShareAlike 4.0 International License.
The LaTeX source code for this work is available on GitHub at github.com/catrincm/forallx-bris, using johannes-2024 branch.