DOI10.1016/j.apal.2006.05.009zbMath1115.03078MaRDI QIDQ861825
Daniel J. Velleman
Publication date: 2 February 2007 Published in: Annals of Pure and Applied Logic (Search for Journal in Brave) Full work available at URL: https://doi.org/10.1016/j.apal.2006.05.009
zbMATH Keywords
natural deduction; variable proviso
Mathematics Subject Classification ID
03B10: Classical first-order logic
03F07: Structure of proofs
Cites Work