Some extensions of Automath : the AUT-4 family

N.G. Bruijn, de

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukPopulair

    5 Citaten (Scopus)
    49 Downloads (Pure)
    Originele taal-2Engels
    TitelSelected papers on Automath / ed. by Rob P. Nederpelt, J.H. Geuvers and Roel C. de Vrijer ; with the assistance of L.S. van Benthem Jutting and D.T. van Daalen
    Plaats van productieAmsterdam
    UitgeverijNorth-Holland Publishing Company
    Pagina's283-288
    ISBN van geprinte versie0-444-89822-0
    StatusGepubliceerd - 1994

    Publicatie series

    NaamStudies in logic and the foundations of mathematics
    Volume133

    Citeer dit