Nievergelt, Y Ves  <br/><br/>
Logic, Mathematics and computer science: Modern foundations with practical applications  

 - New York  Springer   2015 
<br/><br/><label>Dewey Class. No.: </label>004.0151  / NIE.L