A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Display formulas [help]

Jensen, Björn, Nested Forcing Relations
Jeroslow, R. G., Consistency Statements in Formal Theories
Jeroslow, R. G., On Gödel's Consistency Theorem (1971)
Jeroslow, R. G., On Gödel's Consistency Theorem (1971)
Jeroslow, R. G., Experimental Logics and $\Delta_2^0$-Theories (1975)
Jeroslow, R. G., Cutting-Planes for Complementarity Constraints (1978)
Jeroslow, R. J., Two Theorems on Experimental Logics (1973)
Jervell, Herman R., From the Axiom of Choice to Choice Sequences - A Historical Note
Jervell, Herman Ruge, Gentzen Games (1983)
Jervell, Herman Ruge, Large Finite Sets (1983)