Sieg, W <br/><br/>
Hilbert's programand beyond 

 - Oxford  Oxford University Press  2013 
 - xii, 440p. 
<br/><br/><label>ISBN: </label>978-0-195-37222-9