Comprehension contradicts to the induction within Łukasiewicz predicate logic

✍ Scribed by Shunsuke Yatabe

• Publisher: Springer
• Year: 2009
• Tongue: English
• Weight: 102 KB
• Volume: 48
• Category: Article
• ISSN: 0933-5846
• DOI: 10.1007/s00153-009-0127-5