Neste gang vil vi gj?re …
Neste gang vil vi gj?re ferdig algebraiske modeller og begynne p? predikatlogikk, dvs p? stoffet i Avigad 5.1-5.2 og van Dalen 2.1.
Publisert 27. feb. 2012 16:21
- Sist endret 23. mai 2012 13:55
Neste gang vil vi gj?re ferdig algebraiske modeller og begynne p? predikatlogikk, dvs p? stoffet i Avigad 5.1-5.2 og van Dalen 2.1.