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
Title
Practice Problems VI.md
Creator
Richard Zach
Created on
2019-10-21 16:03 UTC
Tags
calgary forall x
Title
Practice Problems VII.md
Description
Practice problems for Part VII of forall x: Calgary: proofs in FOL
Creator
Richard Zach
Created on
2019-10-23 15:40 UTC
Tags
calgary forall x
Title
Practice Problems II.md
Description
Some practice problems for Part II of forall x: Calgary
Creator
Richard Zach
Created on
2019-09-17 18:10 UTC
Tags
calgary forall x
Title
Practice Problems IV.md
Description
Practice problems for proofs in TFL, Part IV of forall x: Calgary.
Creator
Richard Zach
Created on
2019-09-18 00:14 UTC
Tags
calgary forall x
Title
Practice Problems III.md
Description
Practice problems for Part III of forall x, Calgary edition.
Creator
Richard Zach
Created on
2019-09-15 21:03 UTC
Tags
calgary forall x
Title
Practice Problems V.md
Description
Practice problems for Part V of forall x:Calgary
Creator
Richard Zach
Created on
2019-11-02 16:55 UTC
Tags
calgary forall x