The following pages link to (Q5869608):
Displaying 2 items.
- Advances in natural deduction. A celebration of Dag Prawitz's work. Selected papers based on the presentations at the conference ``Natural deduction'', Rio de Janeiro, Brazil, 2001 (Q368791) (← links)
- <i>New Foundations for Imperative Logic I: Logical Connectives, Consistency, and Quantifiers</i>* (Q5275766) (← links)