Description of AUT-68

L.S. Benthem Jutting, van

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Hoofdstuk › Academic

4 Citaten (Scopus)

Samenvatting

No abstract

Originele taal-2	Engels
Titel	Selected Papers on Automath
Redacteuren	R.P. Nederpelt, J.H. Geuvers, R.C. Vrijer, de
Plaats van productie	Amsterdam
Uitgeverij	North-Holland Publishing Company
Pagina's	251-273
ISBN van geprinte versie	0-444-89822-0
Status	Gepubliceerd - 1994

Naam	Studies in Logic
Volume	133

@inbook{ba84ac5081454a9bb4cfc9cf17c6a393,

title = "Description of AUT-68",

abstract = "No abstract",

author = "{Benthem Jutting, van}, L.S.",

year = "1994",

language = "English",

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

series = "Studies in Logic",

publisher = "North-Holland Publishing Company",

pages = "251--273",

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

booktitle = "Selected Papers on Automath",

address = "Netherlands",

}