Tutti i documenti taggati con logic

• Foundations of Logic Programming
• Bulletin of Symbolic Logic
• On the Unusual Effectiveness of Logic in Computer Science
• Journal of Applied Logics