Proofs, resaoning and the metamorphosis of logic
type: Distribution
access URL: https://shs.hal.science/halshs-00918564
format: HTML
issued: 2026-05-07T19:38:16.764605
modified: 2026-05-07T19:38:16.742491

test_moissonnage_selune
type: Agent

Proofs, resaoning and the metamorphosis of logic
type: Dataset
contact point: Organization
  fn: CCSD
keyword: book-sections
keyword: mathmath-lomathematics-mathlogic-mathlo
keyword: reasoning
keyword: logique
keyword: logic
keyword: natural-deduction
keyword: shshisphilsohumanities-and-social-scienceshistory-philosophy-and-sociology-of-sciences
keyword: deduction-naturelle
keyword: infoeu-reposemanticsbookpart
keyword: shsphilhumanities-and-social-sciencesphilosophy
keyword: infoinfo-locomputer-science-cslogic-in-computer-science-cslo
keyword: raisonnement
keyword: theorie-de-la-demonstration
keyword: proof-theory
landing page: a celebration in Dag Prawitz's work
identifier: ISBN: 978-94-007-7547-3
issued: 2026-05-07T19:38:16.756749
language: en
modified: 2026-05-07T19:38:16.756754