rzach/sets-logic-computation

Stars
36
Rank 733,923 (Top 15 %)
Language
TeX
License
Creative Commons ...
Created almost 9 years ago
Updated 10 months ago

rzach/sets-logic-computation

rzach

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Textbook on metalogic based on the Open Logic Project

git4phi

Git for Philosophers

boxes-and-diamonds

Open textbook on modal logic

incompleteness-computability

Textbook on Gödel's incompleteness theorems and computability theory

ucalgmthesis

A LaTeX class to produce a University of Calgary (UCalgary) graduate thesis (uses memoir class)

multlog

M. Ultlog, the genius many-valued logic expert

olpsurveys

Surveys conducted in courses using open logic textbooks

lplfitch

LaTeX package for typesetting Fitch-style proofs a la Language, Proof, and Logic text

what-if

Textbook on non-classical logics

phil279

Beamer slides for Phil 279 (Logic I)

ptolemaic-astronomy

Diagrams of sphere models for variably strict conditionals (Lewis counterfactuals)

intermediate-logic

Textbook for McGill's Phil 310, Intermediate Logic

latex4phi

LaTeX for Philosophers

oupmemoir

A LaTeX class for Oxford University Press philosophy books, based on memoir

ucalgary-poster

A poster style for the University of Calgary for use with tikzposter

nerlim

An updated Master Bibliography File for use with custom-bib

multseq

M. Ultseq, the genius many-valued sequent theorem prover

keyindex

A LaTeX package that makes name indexes easier

phil310

OLP setup for a text for McGill's Phil 310, Intermediate Logic

ucalgary-beamer

sandbox