IN5580 - Spring 2023

Recorded lectures

Below you find the link to two lectures covering the material in the first three section of Chapter 7 of "A friendly introduction to mathematical logic". The lectures are given in Norwegian. 

 

Published Jan. 30, 2023 1:45 PM - Last modified Jan. 30, 2023 1:45 PM
E-mail this page