Next: Programmide dünaamiline loogika (dynamic
Up: No Title
Previous: Predikaat (predicatepredicate symbol)
- lausearvutuse laiendus, milles kasutatakse täiendavalt predikaadi, indiviidi ja kvantori mõisteid.
Jaan Penjam
Mon Sep 2 19:01:04 EET DST 1996