Some Remarks on Infinitely Long Formulasby L. Henkin;Independence Proofs in Predicate Logic with Infinitely Long Expressionsby Carol R. Karp

✍ Scribed by Review by: Thomas Frayne

• Book ID: 124963370
• Publisher: Association for Symbolic Logic
• Year: 1965
• Tongue: English
• Weight: 307 KB
• Volume: 30
• Category: Article
• ISSN: 0022-4812
• DOI: 10.2307/2270594