Logical Consequence and First-Order Soundness and Completeness: A Bottom Up Approach

✍ Scribed by Dresner, Eli

• Book ID: 121809456
• Publisher: University of Notre Dame
• Year: 2011
• Tongue: English
• Weight: 196 KB
• Volume: 52
• Category: Article
• ISSN: 0029-4527
• DOI: 10.1215/00294527-2010-038