### Abstract

No abstract.

Original language | English |
---|---|

Title of host publication | Selected Papers on Automath |

Editors | R.P. Nederpelt, J.H. Geuvers, R.C. Vrijer, de |

Place of Publication | Amsterdam |

Publisher | North-Holland Publishing Company |

Pages | 73-100 |

ISBN (Print) | 0-444-89822-0 |

Publication status | Published - 1994 |

### Publication series

Name | Studies in logic and the foundations of mathematics |
---|---|

Volume | 133 |

ISSN (Print) | 0049-237X |

## Cite this

Bruijn, de, N. G. (1994). The mathematical language Automath, its usage, and some of its extensions. In R. P. Nederpelt, J. H. Geuvers, & R. C. Vrijer, de (Eds.),

*Selected Papers on Automath*(pp. 73-100). (Studies in logic and the foundations of mathematics; Vol. 133). North-Holland Publishing Company.