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