160  / ST9 V.15 <br/>
Skolem, Th. <br/>
       MATHEMATICAL INTERPRETATION OF FORMAL SYSTEMS 
 / 
 .-  North-Holland,  1955 
<br><U>Copy Details:</u><br> Acc. No.: <b>24961</b>, Full Call No.: 160 ST9 V.15,   Item type:  Books , Location: COMPACT STORAGE (BASEMENT), <br><b>------------------------- --------------------- ------ --------- ------- ------- --------- -------- </b><br>