Corrections to be made in the slides

From u-t-autonomous.info
Jump to: navigation, search
  • Adam: The names of atomic propositions and use of {} are confusing -- sept10.pdf