Electronic media review: Logic and proofs (web-based course)

Teaching Philosophy

Volumn 29, Issue 3, 2006, Pages 255-260

  Burke, Michael B ^a  

^a INDIANA UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 34948834308     PISSN: 01455788     EISSN: 21536619     Source Type: Journal    
DOI: 10.5840/teachphil200629327     Document Type: Article

References (2)

1. Wilfried Sieg, Project Director; Davin Lafon; Dawn McLaughlin; Ross Strader. http://www.phil.cmu.edu/projects/apros/.
2. Wilfried Sieg and John Byrnes, "Normal Natural Deduction Proofs (in Classical Logic)," Studia Logica 60 (1998), 67-106.