Journals in DBLP
J. Symb. Log. Branislav R. Boricic A Note on Some Intermediate Propositional Calculi. [Citation Graph (0, 0)][DBLP ] Journal ] Arnon Avron Relevant Entailment--Semantics and Formal Systems. [Citation Graph (0, 0)][DBLP ] Journal ] Chris Freiling Banach Games. [Citation Graph (0, 0)][DBLP ] Journal ] Peter Clote A Recursion Theoretic Analysis of the Clopen Ramsey Theorem. [Citation Graph (0, 0)][DBLP ] Journal ] Robert Goldblatt Orthomodularity is not Elementary. [Citation Graph (0, 0)][DBLP ] Journal ] Françoise Delon Espaces Ultrametriques. [Citation Graph (0, 0)][DBLP ] Journal ] Julia F. Knight , Alistair H. Lachlan , Robert I. Soare Two Theorems on Degrees of Models of True Arithmetic. [Citation Graph (0, 0)][DBLP ] Journal ] Edward R. Griffor , Dag Normann The Definability of E(alpha). [Citation Graph (0, 0)][DBLP ] Journal ] Johan van Benthem Questions About Quantifiers. [Citation Graph (0, 0)][DBLP ] Journal ] Andreas Blass There are not Exactly Five Objects. [Citation Graph (0, 0)][DBLP ] Journal ] Steven Buechler Expansions of Models of omega-Stable Theories. [Citation Graph (0, 0)][DBLP ] Journal ] Paul Bankston Expressive Power in First Order Topology. [Citation Graph (0, 0)][DBLP ] Journal ] Dong Ping Yang On the Embedding of alpha-Recursive Presentable Lattices into the alpha-Recursive Degrees Below 0'. [Citation Graph (0, 0)][DBLP ] Journal ] S. Barry Cooper Partial Degrees and the Density Problem. Part 2: The Enumeration Degrees of the sigma2 Sets are Dense. [Citation Graph (0, 0)][DBLP ] Journal ] Ieke Moerdijk Heine-Borel Does not Imply the Fan Theorem. [Citation Graph (0, 0)][DBLP ] Journal ] M. J. Cresswell An Incomplete Decidable Modal Logic. [Citation Graph (0, 0)][DBLP ] Journal ] Rodney G. Downey Co-Immune Subspaces and Complementation in V. [Citation Graph (0, 0)][DBLP ] Journal ] Ronald J. Watro On Partitioning the Infinite Subsets of Large Cardinals. [Citation Graph (0, 0)][DBLP ] Journal ] James M. Henle Spector Forcing. [Citation Graph (0, 0)][DBLP ] Journal ] James M. Henle Weak Strong Partition Cardinals. [Citation Graph (0, 0)][DBLP ] Journal ] James E. Baumgartner , James M. Henle Infinite Subscripts from Infinite Exponents. [Citation Graph (0, 0)][DBLP ] Journal ] Richard Watnick A Generalization of Tennenbaum's Theorem on Effectively Finite Recursive Linear Orderings. [Citation Graph (0, 0)][DBLP ] Journal ] Pavel Pudlák , Antonín Sochor Models of the Alternative Set Theory. [Citation Graph (0, 0)][DBLP ] Journal ] Klaus Ambos-Spies An Extension of the Nondiamond Theorem in Classical and alpha-Recursion Theory. [Citation Graph (0, 0)][DBLP ] Journal ] Wlodzimierz Zadrozny Ordinal Definability in Jensen's Model. [Citation Graph (0, 0)][DBLP ] Journal ] Maurice Boffa Arithmetic and the Theory of Types. [Citation Graph (0, 0)][DBLP ] Journal ] Lou van den Dries Algebraic Theories with Definable Skolem Functions. [Citation Graph (0, 0)][DBLP ] Journal ] Michael Beeson , Andre Scedrov Church's Thesis, Continuity, and Set Theory. [Citation Graph (0, 0)][DBLP ] Journal ] Dan Saracino , Carol Wood QE Commutative Nilrings. [Citation Graph (0, 0)][DBLP ] Journal ] Carl G. Jockusch Jr. , Richard Laver , J. Donald Monk , Jan Mycielski , Jon Pearce Annual Meeting of the Association for Symbolic Logic: Denver, 1983. [Citation Graph (0, 0)][DBLP ] Journal ] E. Casari , E. J. Fenstad , G. Lolli , G. Longo , Annalisa Marcja , Dirk van Dalen Meeting of the Association for Symbolic Logic: Florence, Italy 1982. [Citation Graph (0, 0)][DBLP ] Journal ] 