Proof Analysis: A Contribution to Hilbert's Last Problem

Presents a new way of applying the methods of proof theory to axiomatic theories and systems of philosophical logic.

Detalles Bibliográficos
Autores principales: Negri, Sara, von Plato, Jan
Lenguaje:eng
Publicado: Cambridge University Press 2011
Materias:
Mathematical Physics and Mathematics
Acceso en línea:http://cds.cern.ch/record/1416968
_version_ 1780924070269812736
author Negri, Sara
von Plato, Jan
author_facet Negri, Sara
von Plato, Jan
author_sort Negri, Sara
collection CERN
description Presents a new way of applying the methods of proof theory to axiomatic theories and systems of philosophical logic.
id cern-1416968
institution Organización Europea para la Investigación Nuclear
language eng
publishDate 2011
publisher Cambridge University Press
record_format invenio
spelling cern-14169682021-04-22T00:38:39Zhttp://cds.cern.ch/record/1416968engNegri, Saravon Plato, JanProof Analysis: A Contribution to Hilbert's Last ProblemMathematical Physics and Mathematics Presents a new way of applying the methods of proof theory to axiomatic theories and systems of philosophical logic.Cambridge University Pressoai:cds.cern.ch:14169682011
spellingShingle Mathematical Physics and Mathematics
Negri, Sara
von Plato, Jan
Proof Analysis: A Contribution to Hilbert's Last Problem
title Proof Analysis: A Contribution to Hilbert's Last Problem
title_full Proof Analysis: A Contribution to Hilbert's Last Problem
title_fullStr Proof Analysis: A Contribution to Hilbert's Last Problem
title_full_unstemmed Proof Analysis: A Contribution to Hilbert's Last Problem
title_short Proof Analysis: A Contribution to Hilbert's Last Problem
title_sort proof analysis: a contribution to hilbert's last problem
topic Mathematical Physics and Mathematics
url http://cds.cern.ch/record/1416968
work_keys_str_mv AT negrisara proofanalysisacontributiontohilbertslastproblem
AT vonplatojan proofanalysisacontributiontohilbertslastproblem

Ejemplares similares