Cole, J. C <br/><br/>
Non-axiomatizability results in infinitary languages for higher-order structures 
J. C. Cole; M. A. Dickmann 
 - Aarhus  Universitet Aarhus  1971 
 - 14 p  28 cm 
 - Preprint series  48 .
<br/><br/> Contine bibliografie