Bar Induction in the proof of termination of Gentzens reduction procedure

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKapitelVetenskapligPeer review

Originalspråkengelska
Titel på gästpublikation Gentzen's Centenary : The Quest for Consistency
RedaktörerReinhard Kahle, Michael Rathjen
Antal sidor4
VolymXVII
FörlagSpringer
Utgivningsdatum2015
Sidor127-130
ISBN (tryckt)978-3-319-10102-6
StatusPublicerad - 2015
MoE-publikationstypA3 Del av bok eller annan forskningsbok

Vetenskapsgrenar

  • 611 Filosofi

Citera det här