Login

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

Jensen, Björn, Nested Forcing Relations
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. G., Consistency Statements in Formal Theories
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)