next up previous contents
Next: Funktsioon (functionfunction symbol) Up: No Title Previous: Eksistentsikvantor ( existential quantifier)

Formaalne teooria (formal theory)

- Valemite hulk T, mis on kinnine tuletatavuse relatsiooni suhtes. Vrdl. teooria.



Jaan Penjam
Mon Sep 2 19:01:04 EET DST 1996