Logics and type systems

J.H. Geuvers

    Onderzoeksoutput: Scriptie › Dissertatie 4 (Onderzoek NIET TU/e / Promotie NIET TU/e)

    Originele taal-2Engels
    KwalificatieDoctor in de Filosofie
    Toekennende instantie
    • Radboud University Nijmegen
    Begeleider(s)/adviseur
    • Barendregt, H.P., Promotor, Externe Persoon
    Datum van toekenning14 sep. 1993
    Plaats van publicatieNijmegen
    Uitgever
    Gedrukte ISBN's90-9006352-8
    StatusGepubliceerd - 1993

    Citeer dit