Formalization of Harsanyi's notions of 'type' and 'consistency' in games with incomplete information - Mertens, Jean-François 1946-2012; Zamir, Shemuʾel 1939- (Center for Operations Research and Econometrics <Louvain>: Discussion paper, 1982)