search

catrincm / forallx-bris

Bristol version of forallx, an introduction to formal logic
Creative Commons Attribution Share Alike 4.0 International
1 stars 0 forks source link

readme

forallx-bris

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 University of Bristol

Creative Commons License

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.