A Postscript to Completeness Proof for Johan

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

Original language	Undefined/Unknown
Title of host publication	JFAK, Essays Dedicated to Johan van Benthem on the Occasion of his 50th Birthday
Editors	J. Gerbrandy, M. Marx, M. de Rijke, Y. Venema
Place of Publication	Amsterdam
Publisher	Amsterdam University Press
Publication status	Published - 1999

Keywords

@inbook{8b0b6d338edf4d4db1c1aa3f4be49dd4,

title = "A Postscript to Completeness Proof for Johan",

keywords = "Wiskunde en Informatica (WIIN)",

author = "{van der Hoek}, W. and J-J.Ch. Meyer",

year = "1999",

language = "Undefined/Unknown",

publisher = "Amsterdam University Press",

editor = "J. Gerbrandy and M. Marx and {de Rijke}, M. and Y. Venema",

booktitle = "JFAK, Essays Dedicated to Johan van Benthem on the Occasion of his 50th Birthday",

address = "Netherlands",

}

TY - CHAP

T1 - A Postscript to Completeness Proof for Johan

AU - van der Hoek, W.

AU - Meyer, J-J.Ch.

PY - 1999

Y1 - 1999

KW - Wiskunde en Informatica (WIIN)

M3 - Chapter

BT - JFAK, Essays Dedicated to Johan van Benthem on the Occasion of his 50th Birthday

A2 - Gerbrandy, J.

A2 - Marx, M.

A2 - de Rijke, M.

A2 - Venema, Y.

PB - Amsterdam University Press

CY - Amsterdam

ER -