Journals in DBLP
J. Symb. Log. William J. Collins , Paul Young Discontinuities of Provably Correct Operators on the Provably Recursive Real Numbers. [Citation Graph (0, 0)][DBLP ] Journal ] Michael Stob Wtt-Degrees and T-Degrees of R.E. Sets. [Citation Graph (0, 0)][DBLP ] Journal ] Henk Barendregt , Mario Coppo , Mariangiola Dezani-Ciancaglini A Filter Lambda Model and the Completeness of Type Assignment. [Citation Graph (0, 0)][DBLP ] Journal ] Willem J. Blok , P. Kohler Algebraic Semantics for Quasi-Classical Modal Logics. [Citation Graph (0, 0)][DBLP ] Journal ] Dag Normann Characterizing the Continuous Functionals. [Citation Graph (0, 0)][DBLP ] Journal ] Philipp Rothmaler Some Model Theory of Modules. II. On Stability and Categoricity of Flat Modules. [Citation Graph (0, 0)][DBLP ] Journal ] Vitezslav Svejdar Modal Analysis of Generalized Rosser Sentences. [Citation Graph (0, 0)][DBLP ] Journal ] Michael Sheard Indecomposable Ultrafilters Over Small Large Cardinals. [Citation Graph (0, 0)][DBLP ] Journal ] J. K. Truss The Noncommutativity of Random and Generic Extensions. [Citation Graph (0, 0)][DBLP ] Journal ] Piergiorgio Odifreddi Forcing and Reducibilities. III. Forcing in Fragments of Set Theory. [Citation Graph (0, 0)][DBLP ] Journal ] Ilias G. Kastanas On the Ramsey Property for Sets of Reals. [Citation Graph (0, 0)][DBLP ] Journal ] Dan Velleman On a Generalization of Jensen's, and Strategic Closure of Partial Orders. [Citation Graph (0, 0)][DBLP ] Journal ] Matt Kaufmann Blunt and Topless End Extensions of Models of Set Theory. [Citation Graph (0, 0)][DBLP ] Journal ] Julia F. Knight Degrees of Types and Independent Sequences. [Citation Graph (0, 0)][DBLP ] Journal ] Kurt Wolfsdorf A Baire-Type Theorem for Cardinals. [Citation Graph (0, 0)][DBLP ] Journal ] Peter Clote , Kenneth Mcaloon Two Further Combinatorial Theorems Equivalent to the 1-Consistency of Peano Arithmetic. [Citation Graph (0, 0)][DBLP ] Journal ] Yuri Gurevich , Saharon Shelah Rabin's Uniformization Problem. [Citation Graph (0, 0)][DBLP ] Journal ] Yuri Gurevich , Saharon Shelah Random Models and the Godel Case of the Decision Problem. [Citation Graph (0, 0)][DBLP ] Journal ] Moshe Jarden , William H. Wheeler Model-Complete Theories of e-Free AX Fields. [Citation Graph (0, 0)][DBLP ] Journal ] William H. Wheeler Model-Complete Theories of Formally Real Fields and Formally p-Adic Fields. [Citation Graph (0, 0)][DBLP ] Journal ] Teo Grunberg A Tableau System of Proof for Predicate-Functor Logic with Identity. [Citation Graph (0, 0)][DBLP ] Journal ] G. C. Nelson Addendum to "Logic of Reduced Power Structures". [Citation Graph (0, 0)][DBLP ] Journal ] Jerome I. Malitz Downward Transfer of Satisfiability for Sentences of L 1, 1 . [Citation Graph (0, 0)][DBLP ] Journal ] Bruno Poizat Une Theorie de Galois Imaginaire. [Citation Graph (0, 0)][DBLP ] Journal ] J. Richard Büchi State-Strategies for Games in F G. [Citation Graph (0, 0)][DBLP ] Journal ] J. Stern The Herbrand Symposium: (Marseilles July 16-July 24 1981). [Citation Graph (0, 0)][DBLP ] Journal ] H. Jerome Keisler Meeting of the Association for Symbolic Logic: Madison 1982. [Citation Graph (0, 0)][DBLP ] Journal ] 