A survey of the project Automath

N.G. Bruijn, de

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

    10 Citations (Scopus)
    152 Downloads (Pure)

    Abstract

    No abstract.
    Original languageEnglish
    Title of host publicationSelected Papers on Automath
    EditorsR.P. Nederpelt, J.H. Geuvers, R.C. Vrijer, de
    Place of PublicationAmsterdam
    PublisherNorth-Holland Publishing Company
    Pages141-161
    ISBN (Print)0-444-89822-0
    Publication statusPublished - 1994

    Publication series

    NameStudies in logic and the foundations of mathematics
    Volume133
    ISSN (Print)0049-237X

    Cite this