View:
- no detail
- some detail
- full detail
Higher‐order Logic Reconsidered
Ignacio Jané
Intuitionism Reconsidered
Roy Cook
A Logical Theory of Truth-Makers and Falsity-Makers
Neil Tennant
Logical Consequence, Proof Theory, and Model Theory
Stewart Shapiro
Logical Consequence From a Constructivist View
Dag Prawitz
View:
- no detail
- some detail
- full detail