Dydaktyczne ujęcie zerojedynkowej metody sprawdzania wyrażeń węższego jednoargumentowego rachunku predykatów

✍ Scribed by Ludwik Borkowski

• Publisher: Springer Netherlands
• Year: 1961
• Tongue: English
• Weight: 885 KB
• Volume: 11
• Category: Article
• ISSN: 0039-3215
• DOI: 10.1007/bf02121200