Advances in proof theory

Advances in proof theory

by Kahle, Reinhard Strahm, Thomas Studer, Thomas

Type Book
Rate 0.0 /5
Details
Files
Reviews
Download

Title Statements

  • Full title :Advances in proof theory / Reinhard Kahle, Thomas Strahm, Thomas Studer, editors.

Edition Statements

  • Publication Date:©2016.

Publication Statements

  • Publisher(s):Birkhäuser
  • Place of Publication:Lieu de publication inconnu
  • Language:eng
  • Publication Date:©2016.

Notes

Ce volume est en partie issu d'interventions du symposium "Advances in Proof Theory" organisé à l'occasion du 60ème anniversaire de Gerhard Jäger, qui s'est tenu le 13 et 14 décembre 2013 à l'Université de Bern en Suisse.

The Physical Object

  • Description:1 v. (XII-425 p.) : : illustrations ; : 24 cm

Edition Identifiers

  • ISBN:9783319291963, 3319291963
  • oclc:ocn958069316
  • LC Classification:QA9.54
  • Dewey Decimal:511.3/6

Subjects

Actes de congrès Conference papers and proceedings Jäger, Gerhard Logique mathématique Proof theory Proof theory -- Congresses Théorie de la démonstration Théorie de la preuve -- Congrès

Writers

Kahle, Reinhard Strahm, Thomas Studer, Thomas

More from this Series

  • Perspectives in computational complexity

    cop. 2014.
    more →
    Perspectives in computational complexity

Rate & Review

0.0/5
(0 people Voted)

No reviews yet. Be the first to rate this work.

Files & Downloads

  • Advances in Proof Theory -- (.pdf)

    PDF · 11.3 MB · updated
    Login →

  • Advances in Proof Theory -- (.pdf)

    PDF · 3.3 MB · updated
    Login →
Log in to request a copy