Introduction

Stig Andur Pedersen

    Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiForskning

    OriginalsprogEngelsk
    TitelProof theory
    RedaktørerVincent F. Hendricks, Stig Andur Pedersen, Klaus Frovin Jørgensen
    Udgivelses stedDordrecht
    ForlagKluwer Academic Publishers
    Publikationsdato2000
    StatusUdgivet - 2000
    NavnSynthese Library
    Nummer292
    ISSN0166-6991

    Citer dette

    Pedersen, S. A. (2000). Introduction. I V. F. Hendricks, S. A. Pedersen, & K. F. Jørgensen (red.), Proof theory Kluwer Academic Publishers. Synthese Library, Nr. 292