Set Theory, Higher Order Logic Or Both? (talk)

Overhead projector transparencies for my TPHOLs talk are available as a single postscript file or as separate files for each transparency:
  1. Slide1
  2. Slide2
  3. Slide3
  4. Slide4
  5. Slide5
  6. Slide6
  7. Slide7
  8. Slide8
  9. Slide9
  10. Slide10
  11. Slide11
  12. Slide12
  13. Slide13
  14. Slide14
  15. Slide15
  16. Slide16
  17. Slide17
  18. Slide18
  19. Slide19
  20. Slide20
  21. Slide21
  22. Slide22
  23. Slide23
  24. Slide24