Dijkstra-Scholten predicate calculus: concepts and misconceptions

✍ Scribed by Lex Bijlsma; Rob Nederpelt

• Publisher: Springer-Verlag
• Year: 1998
• Tongue: English
• Weight: 145 KB
• Volume: 35
• Category: Article
• ISSN: 0001-5903
• DOI: 10.1007/s002360050150