AUT-SL, a single line version of Automath

N.G. Bruijn, de

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic

1 Citation (Scopus)

54 Downloads (Pure)

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	275-281
ISBN (Print)	0-444-89822-0
Publication status	Published - 1994

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

@inbook{05cdbcb6b55346759a37e4e7fdebc0a9,

title = "AUT-SL, a single line version of Automath",

abstract = "No Abstract.",

author = "{Bruijn, de}, N.G.",

year = "1994",

language = "English",

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

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

publisher = "North-Holland Publishing Company",

pages = "275--281",

editor = "R.P. Nederpelt and J.H. Geuvers and {Vrijer, de}, R.C.",

booktitle = "Selected Papers on Automath",

address = "Netherlands",

}

TY - CHAP

T1 - AUT-SL, a single line version of Automath

AU - Bruijn, de, N.G.

PY - 1994

Y1 - 1994

N2 - No Abstract.

AB - No Abstract.

M3 - Chapter

SN - 0-444-89822-0

T3 - Studies in logic and the foundations of mathematics

SP - 275

EP - 281

BT - Selected Papers on Automath

A2 - Nederpelt, R.P.

A2 - Geuvers, J.H.

A2 - Vrijer, de, R.C.

PB - North-Holland Publishing Company

CY - Amsterdam

ER -