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:
-
Slide1
-
Slide2
-
Slide3
-
Slide4
-
Slide5
-
Slide6
-
Slide7
-
Slide8
-
Slide9
-
Slide10
-
Slide11
-
Slide12
-
Slide13
-
Slide14
-
Slide15
-
Slide16
-
Slide17
-
Slide18
-
Slide19
-
Slide20
-
Slide21
-
Slide22
-
Slide23
-
Slide24