Povijest Lispa, 39. dio

U 39. predavanju o povijesti Lispa, Kazimir Majorinc će održati izlaganje Planner (II.) o Hewittovu programskom jeziku za dokazivanje teorema.