Poprawki do artykułu “Dydaktyczne ujęcie zerojedynkowej metody sprawdzania wyrażeń węższego jednoargumentowego rachunku predykatów”

✍ Scribed by Ludwik Borkowski

• Publisher: Springer Netherlands
• Year: 1964
• Tongue: English
• Weight: 78 KB
• Volume: 15
• Category: Article
• ISSN: 0039-3215
• DOI: 10.1007/bf02125931