Prindi | E-postile | Salvesta 
intuitsionistlik loogika
intuitionistic logics
ESTER | ISE | ERB | Google
Seletus: Loogikasüsteem, mille arendas välja Arend Heyting, et formaliseerida intuitsionismis lubatavaid arutlusviise.
Asendab:konstruktivistlik loogika constructive logic
Laiemad:matemaatiline loogika logical calculus; mathematical logic
Seotud:intuitsionism (matem.) intuitionism (mathematics)
Valdkonnad:01 FILOSOOFIA. EETIKA. SEMIOOTIKA.
21 MATEMAATIKA.