External Links

    Journal: Int. J. Found. Comput. Sci.

    Volume 6, Issue 3

    187 -- 202S. Hayashi, S. Kobayashi. A New Formalization of Feferman s System of Functions and Classes and Its Relation to Frege Structure
    203 -- 234Yukiyoshi Kameyama. A Type-Free Theory of Half-Monotone Inductive Definitions
    235 -- 263Scott F. Smith. Hybrid Partial-Total Type Theory
    265 -- 298Ian A. Mason, Carolyn L. Talcott. Reasoning About Object Systems in VTLoE
    299 -- 338Michael Beeson. Using Nonstandard Analysis to Ensure the Correctness of Symbolic Computations
    runs on