Journal of Applied Non Classical Logics Journal

•  
• Overview
•  
• Identity
•  
• View All
•  

Overview

publication venue for

• On Theorem Proving in Annotated Logics.  10:121-143. 2000

Identity

International Standard Serial Number (ISSN)

• 0102-3411