| 433 | -- | 472 | Georg Schiemer, Erich H. Reck. Logic in the 1930s: type theory and model theory |
| 473 | -- | 490 | Jindrich Zapletal. Analytic equivalence relations and the forcing method |
| 145 | -- | 198 | Gila Sher. The foundational problem of logic |
| 199 | -- | 215 | Mushfeq Khan. Shift-complex sequences |