Normal view
MARC view
Vincent Van Oostrom; Albert Visser; Jan Van Eijck(Personal Name)
Machine generated authority record
Work cat.: (OSt)1789761: Vincent Van Oostrom; Albert Visser; Jan Van Eijck, Logic Colloquium '99