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
From MaRDI portal
(Redirected from 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)
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
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
WARNING: Page is not linked to a MaRDI-Entity. Please add Sitelink / Wikibase-link.
