Boolos George <br/><br/>
Uprovability of consistency    an essays in model logic 

 - Cambridge  Univ Press        1979 
 - viii,184p.  cm. 
<br/><br/><label>Standard No.: </label>10,294 
<br/><br/><label>Source: </label> Textual 
<br/><br/><label>Subjects--Topical Terms: </label><br/>LOGIC
<br/><br/><label>Dewey Class. No.: </label>R1, L9