Some extensions of Automath : the AUT-4 family

N.G. Bruijn, de

    Research output: Chapter in Book/Report/Conference proceedingChapterPopular

    2 Citations (Scopus)
    37 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
    Pages283-288
    ISBN (Print)0-444-89822-0
    Publication statusPublished - 1994

    Publication series

    NameStudies in logic and the foundations of mathematics
    Volume133

    Cite this