Selected papers on Automath

R.P. Nederpelt (Editor), J.H. Geuvers (Editor), R.C. Vrijer, de (Editor), L.S. Benthem Jutting, van (Editor), D.T. van Daalen (Editor)

Research output: Book/ReportBook editingAcademic

Abstract

Dedicated to N. G. de Bruijn
Original languageEnglish
Place of PublicationAmsterdam
PublisherElsevier
Number of pages1024
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