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/Report › Book editing › Academic

Abstract

Dedicated to N. G. de Bruijn

Name	Studies in logic and the foundations of mathematics
Volume	133
ISSN (Print)	0049-237X

@book{35316f56ac114e5994982d197744fdfd,

title = "Selected papers on Automath",

abstract = "Dedicated to N. G. de Bruijn",

editor = "R.P. Nederpelt and J.H. Geuvers and {Vrijer, de}, R.C. and {Benthem Jutting, van}, L.S. and {van Daalen}, D.T.",

year = "1994",

language = "English",

isbn = "0-444-89822-0",

series = "Studies in logic and the foundations of mathematics",

publisher = "Elsevier",

address = "Netherlands",

}

TY - BOOK

T1 - Selected papers on Automath

A2 - Nederpelt, R.P.

A2 - Geuvers, J.H.

A2 - Vrijer, de, R.C.

A2 - Benthem Jutting, van, L.S.

A2 - van Daalen, D.T.

PY - 1994

Y1 - 1994

N2 - Dedicated to N. G. de Bruijn

AB - Dedicated to N. G. de Bruijn

M3 - Book editing

SN - 0-444-89822-0

T3 - Studies in logic and the foundations of mathematics

BT - Selected papers on Automath

PB - Elsevier

CY - Amsterdam

ER -