INF1080 – Logiske metoder for informatikk

Kapittel 23 forts. og Kapittel 24

INF1080 – Logiske metoder for informatikk ›

1:19:22 | Nov 20th, 2014

Kapittel 23 forts. og Kapittel 24: Naturlig deduksjon

Recommendations

Podcast Hosts, Guests or People Mentioned in Episode

🎉 Join the #1 community of podcast lovers and never miss a great podcast.

Sign up