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
DOI10.1007/978-94-007-7548-0zbMath1286.03010OpenAlexW2500397174WikidataQ56994462 ScholiaQ56994462MaRDI QIDQ368791
No author found.
Publication date: 23 September 2013
Published in: Trends in Logic -- Studia Logica Library (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-94-007-7548-0
Collections of articles of miscellaneous specific interest (00B15) Classical propositional logic (03B05) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Proof theory in general (including proof-theoretic semantics) (03F03) Intuitionistic mathematics (03F55)
Related Items (2)
This page was built for publication: 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