Documents tagged forall x

Publicly Shared

Title
carnap-forallx.pandoc
Description
This document describes proof systems for Carnap based on P.D. Magnus' "Forall x" textbook, and the Calgary remix of that text.
Creator
Graham Leach-Krouse
Created on
2018-06-07 14:43 UTC
Tags
Documentation forall x