Journal of logic and computation 

<br/><br/>
<br/><br/><label>ISSN: </label>0955-792X 
 = Journal of logic and computation 
 = J. log. comput. 
<br/><br/><label>CODEN: </label>JLCOEU 
<br/><br/><label>LC Class. No.: </label>QA76.63 
<br/><br/><label>Dewey Class. No.: </label>001.535