Journals in DBLP
J. Symb. Log. 1994, volume: 59, number: 2
B. Mazur Questions of Decidability and Undecidability in Number Theory. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1994, v:59, n:2, pp:353-371 [Journal ] Thanases Pheidas Extensions of Hilbert's Tenth Problem. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1994, v:59, n:2, pp:372-397 [Journal ] Roger D. Maddux Undecidable Semiassociative Relation Algebras. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1994, v:59, n:2, pp:398-418 [Journal ] Dirk Roorda Interpolation in Fragments of Classical Linear Logic. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1994, v:59, n:2, pp:419-444 [Journal ] Moti Gitik , Menachem Magidor Extender Based Forcings. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1994, v:59, n:2, pp:445-460 [Journal ] Garvin Melles Natural Internal Forcing Schemata Extending ZFC: Truth in the Universe. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1994, v:59, n:2, pp:461-472 [Journal ] Brigitte Hösli , Gerhard Jäger About Some Symmetries of Negation. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1994, v:59, n:2, pp:473-485 [Journal ] Ganesh Baliga , John Case , Sanjay Jain , Mandayam Suraj Machine Learning of Higher-Order Programs. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1994, v:59, n:2, pp:486-500 [Journal ] Othman Qasim Malhas Abacus Logic: The Lattice of Quantum Propositions as the Poset of a Theory. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1994, v:59, n:2, pp:501-515 [Journal ] Masahiro Kumabe Minimal Upper Bounds for Arithmetical Degrees. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1994, v:59, n:2, pp:516-528 [Journal ] Mark Fuller Normality of a Filter over a Space of Partitions. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1994, v:59, n:2, pp:529-533 [Journal ] Alan S. Stern , Stanislaw Swierczkowski A Class of Connected Theories of Order. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1994, v:59, n:2, pp:534-542 [Journal ] Samson Abramsky , Radha Jagadeesan Games and Full Completeness for Multiplicative Linear Logic. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1994, v:59, n:2, pp:543-574 [Journal ] Frank O. Wagner A Note on Defining Groups in Stable Structures. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1994, v:59, n:2, pp:575-578 [Journal ] Elisabeth Bouscaren , Ehud Hrushovski On One-Based Theories. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1994, v:59, n:2, pp:579-595 [Journal ] Daniele Mundici A Constructive Proof of McNaughton's Theorem in Infinite-valued Logic. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1994, v:59, n:2, pp:596-602 [Journal ] Marion Scheepers Meager Nowhere-Dense Games (IC): n-Tactics (Continued). [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1994, v:59, n:2, pp:603-605 [Journal ] Sy D. Friedman The Genericity Conjecture. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1994, v:59, n:2, pp:606-614 [Journal ] Thomas Jech , Jirí Witzany Full Reflection at a Measurable Cardinal. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1994, v:59, n:2, pp:615-630 [Journal ] Hajnal Andréka , Steven Givant , István Németi The Lattice of Varieties of Representable Relation Algebras. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1994, v:59, n:2, pp:631-661 [Journal ] Szymon Plewik Ideals of Nowhere Ramsey Sets Are Isomorphic. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1994, v:59, n:2, pp:662-667 [Journal ]