Contributions to the Reduction Theory of the Decision Problem. First Paper. Prefix (x1)(x2)(Ex3)⋯(Exn-1(Xn), a Single Binary Predicate.by László Kalmár

✍ Scribed by Review by: Alonzo Church

• Book ID: 124954712
• Publisher: Association for Symbolic Logic
• Year: 1952
• Tongue: English
• Weight: 208 KB
• Volume: 17
• Category: Article
• ISSN: 0022-4812
• DOI: 10.2307/2267489