Some extensions of Automath : the AUT-4 family

N.G. Bruijn, de

    Research output: Chapter in Book/Report/Conference proceedingChapterPopular

    5 Citations (Scopus)
    48 Downloads (Pure)
    Original languageEnglish
    Title of host publicationSelected 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
    Place of PublicationAmsterdam
    PublisherNorth-Holland Publishing Company
    ISBN (Print)0-444-89822-0
    Publication statusPublished - 1994

    Publication series

    NameStudies in logic and the foundations of mathematics

    Cite this