521 | -- | 567 | Stefano Borgo, Claudio Masolo. Full Mereogeometries |
568 | -- | 599 | Lucius Schoenbaum. On the Syntax of Logic and Set Theory |
600 | -- | 627 | Katsumi Sasaki. Formulas in Modal Logic S4 |
628 | -- | 632 | Daniel J. Hill, Stephen K. McLeod. On Truth-Functionality |
633 | -- | 664 | Kevin C. Klement. The Functions of Russell's no class Theory |
665 | -- | 689 | Solomon Feferman, Thomas Strahm. Unfolding Finitist Arithmetic |