BRUK AV WEB Bruk internett …

BRUK AV WEB

Bruk internett for å få mer stoff rundt det vi foreleser om. Her er forslag til noen søkeord - logic - dangerous knowledge - logicomix - Skolem - Gödel - Turing - automata - Smullyan - Gentzen - Frege - Julia Robinson - turing machine