On a decidable generalized quantifier logic corresponding to a decidable fragment of first-order logic

✍ Scribed by Natasha Alechina

• Publisher: Springer Netherlands
• Year: 1995
• Tongue: English
• Weight: 784 KB
• Volume: 4
• Category: Article
• ISSN: 0925-8531
• DOI: 10.1007/bf01049411