Proof theory

Stig Andur Pedersen (Redaktør), Vincent F. Hendricks (Redaktør), Klaus Frovin Jørgensen (Redaktør)

    Publikation: Bog/antologi/afhandling/rapportAntologiForskning

    OriginalsprogEngelsk
    UdgivelsesstedDordrecht
    ForlagKluwer Academic Publishers
    StatusUdgivet - 2000
    NavnSynthese Library
    Nummer292
    ISSN0166-6991

    Citer dette