Novikov, P. S. <br/><br/>
Introduction a la logique mathematique 
P. S. Novikov 
 - Paris  Dunod  1964